Index of /ubuntu-test-rebuild-20250115-oracular-armv8dot2a/ubuntu/pool/universe/a/agda

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]agda-bin_2.6.3-2_arm64.deb2025-02-23 03:32 11M
[ ]agda_2.6.3-2_all.deb2025-02-23 03:31 3.6K
[ ]elpa-agda2-mode_2.6.3-2_all.deb2025-02-23 03:31 45K
[ ]libghc-agda-dev_2.6.3-2_arm64.deb2025-02-23 03:32 27M
[ ]libghc-agda-doc_2.6.3-2_all.deb2025-02-23 03:31 5.9M