Index of /ubuntu-test-rebuild-20220506-jammy-v2/ubuntu/pool/universe/a/agda

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libghc-agda-doc_2.6.1-1build2.1_all.deb2022-06-03 23:32 5.2M
[ ]elpa-agda2-mode_2.6.1-1build2.1_all.deb2022-06-03 23:32 45K
[ ]libghc-agda-dev_2.6.1-1build2.1_amd64.deb2022-06-03 23:32 38M
[ ]agda-bin_2.6.1-1build2.1_amd64.deb2022-06-03 23:32 9.1M
[ ]agda_2.6.1-1build2.1_all.deb2022-06-03 23:32 4.0K