Index of /ubuntu-test-rebuild-20231206-mantic-v3-mtune-icelake-server/ubuntu/pool/universe/a/agda

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]agda-bin_2.6.2.2-1.1build1_amd64.deb2023-12-15 22:43 8.0M
[ ]agda_2.6.2.2-1.1build1_all.deb2023-12-15 22:43 3.6K
[ ]elpa-agda2-mode_2.6.2.2-1.1build1_all.deb2023-12-15 22:43 44K
[ ]libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb2023-12-15 22:43 25M
[ ]libghc-agda-doc_2.6.2.2-1.1build1_all.deb2023-12-15 22:43 5.7M