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

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