/Operating Systems/Linux/Debian/mirror/main/a/agda/ Up
Name      Date      Size
agda-bin_2.4.0.2-2+b1_amd64.deb      2014-09-07      4 MB
agda-bin_2.4.0.2-2+b1_i386.deb      2014-09-08      4 MB
agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb      2014-09-08      4 MB
agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb      2014-09-08      4 MB
agda-bin_2.4.0.2-2+b1_powerpc.deb      2014-09-08      3 MB
agda-bin_2.5.1.1-3+b3_amd64.deb      2016-11-10      6 MB
agda-bin_2.5.1.1-3+b3_arm64.deb      2016-11-10      11 MB
agda-bin_2.5.1.1-3+b3_i386.deb      2016-11-10      6 MB
agda-bin_2.5.1.1-3+b3_s390x.deb      2016-11-10      21 MB
agda-bin_2.5.1.1-3_mips64el.deb      2016-11-20      9 MB
agda-mode_2.2.6-7_all.deb      2010-05-06      39 KB
agda-mode_2.3.0.1-2_all.deb      2012-05-26      45 KB
agda-mode_2.4.0.2-2_all.deb      2014-08-11      86 KB
agda-mode_2.5.1.1-3_all.deb      2016-10-29      78 KB
agda_2.2.6-7.debian.tar.gz      2010-05-06      5 KB
agda_2.2.6-7.dsc      2010-05-06      2 KB
agda_2.2.6.orig.tar.gz      2010-01-07      414 KB
agda_2.3.0.1-2.debian.tar.gz      2012-05-26      7 KB
agda_2.3.0.1-2.dsc      2012-05-26      2 KB
agda_2.3.0.1-2_all.deb      2012-05-26      13 KB
agda_2.3.0.1.orig.tar.gz      2012-03-12      598 KB
agda_2.4.0.2-2.debian.tar.xz      2014-08-11      7 KB
agda_2.4.0.2-2.dsc      2014-08-11      4 KB
agda_2.4.0.2-2_all.deb      2014-08-11      55 KB
agda_2.4.0.2.orig.tar.gz      2014-08-05      889 KB
agda_2.5.1.1-3.debian.tar.xz      2016-10-28      9 KB
agda_2.5.1.1-3.dsc      2016-10-28      4 KB
agda_2.5.1.1-3_all.deb      2016-10-29      78 KB
agda_2.5.1.1.orig.tar.gz      2016-10-16      1 MB
elpa-agda2-mode_2.5.1.1-3_all.deb      2016-10-29      113 KB
index.html      2024-02-25      15 KB
index.html?C=M;O=A      2024-02-24      15 KB
index.html?C=N;O=D      2024-02-24      15 KB
index.html?C=S;O=A      2024-02-24      15 KB
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb      2012-05-27      12 MB
libghc-agda-dev_2.3.0.1-2_armel.deb      2012-05-27      17 MB
libghc-agda-dev_2.3.0.1-2_armhf.deb      2012-05-27      18 MB
libghc-agda-dev_2.3.0.1-2_i386.deb      2012-05-26      12 MB
libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb      2012-05-27      12 MB
libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb      2012-05-27      12 MB
libghc-agda-dev_2.3.0.1-2_powerpc.deb      2012-05-26      16 MB
libghc-agda-dev_2.3.0.1-2_s390x.deb      2012-05-27      23 MB
libghc-agda-dev_2.3.0.1-2_sparc.deb      2012-06-02      24 MB
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb      2014-09-07      9 MB
libghc-agda-dev_2.4.0.2-2+b1_i386.deb      2014-09-08      9 MB
libghc-agda-dev_2.4.0.2-2 <...> eebsd-amd64.deb      2014-09-08      9 MB
libghc-agda-dev_2.4.0.2-2 <...> reebsd-i386.deb      2014-09-08      9 MB
libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb      2014-09-08      9 MB
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb      2016-11-10      12 MB
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb      2016-11-10      19 MB
libghc-agda-dev_2.5.1.1-3+b3_i386.deb      2016-11-10      14 MB
libghc-agda-dev_2.5.1.1-3+b3_s390x.deb      2016-11-10      25 MB
libghc-agda-dev_2.5.1.1-3_mips64el.deb      2016-11-20      18 MB
libghc-agda-doc_2.3.0.1-2_all.deb      2012-05-26      2 MB
libghc-agda-doc_2.4.0.2-2_all.deb      2014-08-11      2 MB
libghc-agda-doc_2.5.1.1-3_all.deb      2016-10-29      3 MB
libghc6-agda-dev_2.2.6-7_amd64.deb      2010-05-06      10 MB
libghc6-agda-dev_2.2.6-7_armel.deb      2010-05-06      16 MB
libghc6-agda-dev_2.2.6-7_i386.deb      2010-05-06      9 MB
libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb      2010-05-06      10 MB
libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb      2010-05-06      9 MB
libghc6-agda-dev_2.2.6-7_mips.deb      2010-05-06      18 MB
libghc6-agda-dev_2.2.6-7_mipsel.deb      2010-05-06      17 MB
libghc6-agda-dev_2.2.6-7_powerpc.deb      2010-05-06      13 MB
libghc6-agda-dev_2.2.6-7_s390.deb      2010-05-06      16 MB
libghc6-agda-dev_2.2.6-7_sparc.deb      2010-05-12      17 MB
libghc6-agda-doc_2.2.6-7_all.deb      2010-05-06      1 MB

made by Digital Vintage with nginx-s3-gateway and some magic
digitalvintage.ru
t.me/digitalvintage_ru
instagram.com/digitalvintage.ru

All the software, information and any other data provided here
is intended only for education and research usage. Contact software vendor
and obtain a license if you plan commercial or any prolonged use.