
      [console_scripts]
      agda-pkg=src.apkg:cli
      apkg=src.apkg:cli
      