Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai
NameLast modifiedSize
folder-parentParent Directory
fileagda-bin_2.5.4.1-3+b1_amd64.deb2018-12-04 10:595868 KB
fileagda-bin_2.5.4.1-3+b1_arm64.deb2018-12-04 13:276780 KB
fileagda-bin_2.5.4.1-3+b1_i386.deb2018-12-04 10:435946 KB
fileagda-bin_2.6.1-1+b2_amd64.deb2020-08-19 19:598910 KB
fileagda-bin_2.6.1-1+b2_arm64.deb2020-08-19 21:5710374 KB
fileagda-bin_2.6.1-1+b2_i386.deb2020-08-19 22:588967 KB
fileagda-bin_2.6.1-1+b2_ppc64el.deb2020-08-19 23:5912325 KB
fileagda-bin_2.6.1-1+b3_s390x.deb2020-08-20 00:4023832 KB
fileagda-bin_2.6.2.2-1.1_amd64.deb2022-12-06 17:577751 KB
fileagda-bin_2.6.2.2-1.1_mips64el.deb2022-12-06 22:1215291 KB
fileagda-bin_2.6.2.2-1.1_ppc64el.deb2022-12-06 18:2810606 KB
fileagda-bin_2.6.2.2-1.1_s390x.deb2022-12-06 18:3820207 KB
fileagda-bin_2.6.3-1+b1_arm64.deb2023-10-22 21:2910311 KB
fileagda-bin_2.6.3-1+b1_i386.deb2024-04-13 19:2915371 KB
fileagda-bin_2.6.3-1+b1_mips64el.deb2024-04-14 08:4516072 KB
fileagda-bin_2.6.3-1+b1_s390x.deb2024-04-13 18:2214781 KB
fileagda-bin_2.6.3-1+b2_amd64.deb2023-10-30 16:2210253 KB
fileagda-bin_2.6.3-1+b2_arm64.deb2024-04-13 20:1010308 KB
fileagda-bin_2.6.3-1+b2_ppc64el.deb2023-10-30 16:5711407 KB
fileagda-bin_2.6.3-1+b2_riscv64.deb2024-04-17 08:0311476 KB
fileagda-bin_2.6.3-1+b3_amd64.deb2024-04-13 17:3010251 KB
fileagda-bin_2.6.3-1+b3_ppc64el.deb2024-04-13 17:5111431 KB
fileagda-bin_2.6.3-1_i386.deb2023-10-30 17:1215346 KB
fileagda-bin_2.6.3-1_mips64el.deb2023-11-09 17:4316070 KB
fileagda-bin_2.6.3-1_s390x.deb2023-10-30 15:4714745 KB
fileagda-mode_2.5.4.1-3_all.deb2018-10-20 21:57117 KB
fileagda_2.5.4.1-3.debian.tar.xz2018-10-20 20:419 KB
fileagda_2.5.4.1-3.dsc2018-10-20 20:413 KB
fileagda_2.5.4.1-3_all.deb2018-10-20 21:57118 KB
fileagda_2.5.4.1.orig.tar.gz2018-09-30 10:541989 KB
fileagda_2.6.1-1.debian.tar.xz2020-07-29 15:4010 KB
fileagda_2.6.1-1.dsc2020-07-29 15:404 KB
fileagda_2.6.1-1_all.deb2020-07-29 16:4028 KB
fileagda_2.6.1.orig.tar.gz2020-07-29 15:402646 KB
fileagda_2.6.2.2-1.1.debian.tar.xz2022-12-06 16:4010 KB
fileagda_2.6.2.2-1.1.dsc2022-12-06 16:404 KB
fileagda_2.6.2.2-1.1_all.deb2022-12-06 17:4112 KB
fileagda_2.6.2.2.orig.tar.gz2022-08-06 17:041690 KB
fileagda_2.6.3-1.debian.tar.xz2023-10-13 15:3411 KB
fileagda_2.6.3-1.dsc2023-10-13 15:344 KB
fileagda_2.6.3-1_all.deb2023-10-13 16:3020 KB
fileagda_2.6.3.orig.tar.gz2023-10-13 15:341794 KB
fileelpa-agda2-mode_2.5.4.1-3_all.deb2018-10-20 21:57155 KB
fileelpa-agda2-mode_2.6.1-1_all.deb2020-07-29 16:4066 KB
fileelpa-agda2-mode_2.6.2.2-1.1_all.deb2022-12-06 17:4150 KB
fileelpa-agda2-mode_2.6.3-1_all.deb2023-10-13 16:3059 KB
filelibghc-agda-dev_2.5.4.1-3+b1_amd64.deb2018-12-04 10:5917170 KB
filelibghc-agda-dev_2.5.4.1-3+b1_arm64.deb2018-12-04 13:2719737 KB
filelibghc-agda-dev_2.5.4.1-3+b1_i386.deb2018-12-04 10:4316797 KB
filelibghc-agda-dev_2.6.1-1+b2_amd64.deb2020-08-19 19:5937948 KB
filelibghc-agda-dev_2.6.1-1+b2_arm64.deb2020-08-19 21:5744818 KB
filelibghc-agda-dev_2.6.1-1+b2_i386.deb2020-08-19 22:5838089 KB
filelibghc-agda-dev_2.6.1-1+b2_ppc64el.deb2020-08-19 23:5955865 KB
filelibghc-agda-dev_2.6.1-1+b3_s390x.deb2020-08-20 00:4057990 KB
filelibghc-agda-dev_2.6.2.2-1.1_amd64.deb2022-12-06 17:5724853 KB
filelibghc-agda-dev_2.6.2.2-1.1_mips64el.deb2022-12-06 22:1236477 KB
filelibghc-agda-dev_2.6.2.2-1.1_ppc64el.deb2022-12-06 18:2836209 KB
filelibghc-agda-dev_2.6.2.2-1.1_s390x.deb2022-12-06 18:3839573 KB
filelibghc-agda-dev_2.6.3-1+b1_arm64.deb2023-10-22 21:2925427 KB
filelibghc-agda-dev_2.6.3-1+b1_i386.deb2024-04-13 19:2939321 KB
filelibghc-agda-dev_2.6.3-1+b1_mips64el.deb2024-04-14 08:4535046 KB
filelibghc-agda-dev_2.6.3-1+b1_s390x.deb2024-04-13 18:2234178 KB
filelibghc-agda-dev_2.6.3-1+b2_amd64.deb2023-10-30 16:2223650 KB
filelibghc-agda-dev_2.6.3-1+b2_arm64.deb2024-04-13 20:1025437 KB
filelibghc-agda-dev_2.6.3-1+b2_ppc64el.deb2023-10-30 16:5734190 KB
filelibghc-agda-dev_2.6.3-1+b2_riscv64.deb2024-04-17 08:0338834 KB
filelibghc-agda-dev_2.6.3-1+b3_amd64.deb2024-04-13 17:3023651 KB
filelibghc-agda-dev_2.6.3-1+b3_ppc64el.deb2024-04-13 17:5134195 KB
filelibghc-agda-dev_2.6.3-1_i386.deb2023-10-30 17:1239319 KB
filelibghc-agda-dev_2.6.3-1_mips64el.deb2023-11-09 17:4335047 KB
filelibghc-agda-dev_2.6.3-1_s390x.deb2023-10-30 15:4734046 KB
filelibghc-agda-doc_2.5.4.1-3_all.deb2018-10-20 21:573790 KB
filelibghc-agda-doc_2.6.1-1_all.deb2020-07-29 16:405799 KB
filelibghc-agda-doc_2.6.2.2-1.1_all.deb2022-12-06 17:416599 KB
filelibghc-agda-doc_2.6.3-1_all.deb2023-10-13 16:306957 KB