Index of /pureos/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-bin_2.5.4.1-3+b1_amd64.deb2018-12-26 11:17 5.6M 
[ ]agda-bin_2.5.4.1-3+b1_arm64.deb2018-12-26 11:18 6.5M 
[ ]agda-bin_2.6.1-1+b2_amd64.deb2021-02-09 03:44 8.5M 
[ ]agda-bin_2.6.1-1+b2_arm64.deb2021-02-09 03:44 9.9M 
[ ]agda-bin_2.6.2.2-1.1_amd64.deb2023-06-14 18:37 7.4M 
[ ]agda-bin_2.6.4.3-1+b1_amd64.deb2025-02-02 00:51 9.4M 
[ ]agda-bin_2.6.4.3-1+b1_arm64.deb2025-02-02 00:51 9.4M 
[ ]agda-bin_2.6.4.3-1+b2_amd64.deb2025-02-02 12:58 9.4M 
[ ]agda-bin_2.6.4.3-1+b2_arm64.deb2025-02-15 01:14 9.4M 
[ ]agda-bin_2.6.4.3-1_amd64.deb2024-10-30 00:44 9.4M 
[ ]agda-bin_2.6.4.3-1_arm64.deb2024-10-30 00:45 9.4M 
[ ]agda-mode_2.5.4.1-3_all.deb2018-11-28 23:03 115K 
[ ]agda_2.5.4.1-3.debian.tar.xz2018-11-28 22:59 9.7K 
[ ]agda_2.5.4.1-3.dsc2018-11-28 22:59 3.8K 
[ ]agda_2.5.4.1-3_all.deb2018-11-28 23:03 115K 
[ ]agda_2.5.4.1.orig.tar.gz2018-11-28 22:59 1.9M 
[ ]agda_2.6.1-1.debian.tar.xz2021-02-09 03:43 9.8K 
[ ]agda_2.6.1-1.dsc2021-02-09 03:43 4.1K 
[ ]agda_2.6.1-1_all.deb2021-02-09 03:44 28K 
[ ]agda_2.6.1.orig.tar.gz2021-02-09 03:43 2.5M 
[ ]agda_2.6.2.2-1.1.debian.tar.xz2023-06-14 10:48 10K 
[ ]agda_2.6.2.2-1.1.dsc2023-06-14 10:48 4.3K 
[ ]agda_2.6.2.2-1.1_all.deb2023-06-14 18:37 12K 
[ ]agda_2.6.2.2.orig.tar.gz2023-06-14 10:48 1.6M 
[ ]agda_2.6.4.3-1.debian.tar.xz2024-10-30 00:10 10K 
[ ]agda_2.6.4.3-1.dsc2024-10-30 00:10 5.1K 
[ ]agda_2.6.4.3-1_all.deb2024-10-30 00:44 12K 
[ ]agda_2.6.4.3.orig.tar.gz2024-10-30 00:10 1.8M 
[ ]elpa-agda2-mode_2.5.4.1-3_all.deb2018-11-28 23:03 152K 
[ ]elpa-agda2-mode_2.6.1-1_all.deb2021-02-09 03:44 65K 
[ ]elpa-agda2-mode_2.6.2.2-1.1_all.deb2023-06-14 18:37 50K 
[ ]elpa-agda2-mode_2.6.4.3-1_all.deb2024-10-30 00:44 50K 
[ ]libghc-agda-dev_2.5.4.1-3+b1_amd64.deb2018-12-26 11:17 16M 
[ ]libghc-agda-dev_2.5.4.1-3+b1_arm64.deb2018-12-26 11:18 19M 
[ ]libghc-agda-dev_2.6.1-1+b2_amd64.deb2021-02-09 03:44 36M 
[ ]libghc-agda-dev_2.6.1-1+b2_arm64.deb2021-02-09 03:44 43M 
[ ]libghc-agda-dev_2.6.2.2-1.1_amd64.deb2023-06-14 18:37 24M 
[ ]libghc-agda-dev_2.6.4.3-1+b1_amd64.deb2025-02-02 00:51 22M 
[ ]libghc-agda-dev_2.6.4.3-1+b1_arm64.deb2025-02-02 00:51 23M 
[ ]libghc-agda-dev_2.6.4.3-1+b2_amd64.deb2025-02-02 12:58 22M 
[ ]libghc-agda-dev_2.6.4.3-1+b2_arm64.deb2025-02-15 01:14 23M 
[ ]libghc-agda-dev_2.6.4.3-1_amd64.deb2024-10-30 00:44 22M 
[ ]libghc-agda-dev_2.6.4.3-1_arm64.deb2024-10-30 00:45 23M 
[ ]libghc-agda-doc_2.5.4.1-3_all.deb2018-11-28 23:03 3.6M 
[ ]libghc-agda-doc_2.6.1-1_all.deb2021-02-09 03:44 5.5M 
[ ]libghc-agda-doc_2.6.2.2-1.1_all.deb2023-06-14 18:37 6.3M 
[ ]libghc-agda-doc_2.6.4.3-1_all.deb2024-10-30 00:44 7.1M 
Apache/2.4.18 (Trisquel_GNU/Linux) Server at mirror.fsf.org Port 80