Index of /ubuntu/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-bin_2.4.2.5-1build1_amd64.deb2018-04-12 12:40 4.6M 
[ ]agda-bin_2.4.2.5-1build1_i386.deb2018-04-12 12:04 4.6M 
[ ]agda-bin_2.6.1-1build2.1_amd64.deb2022-03-29 17:07 9.1M 
[ ]agda-bin_2.6.3-1build1_amd64.deb2025-11-06 01:20 10M 
[ ]agda-mode_2.4.2.5-1build1_all.deb2018-04-12 12:38 36K 
[ ]agda_2.4.2.5-1build1_all.deb2018-04-12 12:11 2.9K 
[ ]agda_2.6.1-1build2.1_all.deb2022-03-29 14:13 4.0K 
[ ]agda_2.6.3-1build1_all.deb2025-11-05 23:49 3.7K 
[ ]elpa-agda2-mode_2.6.1-1build2.1_all.deb2022-03-29 14:54 45K 
[ ]elpa-agda2-mode_2.6.3-1build1_all.deb2025-11-06 01:03 45K 
[ ]libghc-agda-dev_2.4.2.5-1build1_amd64.deb2018-04-12 12:04 10M 
[ ]libghc-agda-dev_2.4.2.5-1build1_i386.deb2018-04-12 12:06 10M 
[ ]libghc-agda-dev_2.6.1-1build2.1_amd64.deb2022-03-29 17:11 38M 
[ ]libghc-agda-dev_2.6.3-1build1_amd64.deb2025-11-05 23:49 24M 
[ ]libghc-agda-doc_2.4.2.5-1build1_all.deb2018-04-12 12:11 2.1M 
[ ]libghc-agda-doc_2.6.1-1build2.1_all.deb2022-03-29 16:33 5.2M 
[ ]libghc-agda-doc_2.6.3-1build1_all.deb2025-11-06 01:07 6.0M