Index of /debian-archive/debian/pool/main/a/agda/
name
size
date
agda-bin_2.5.1.1-3_mips64el.deb
9.47M
2016-11-20 00:28:21
libghc-agda-dev_2.5.1.1-3_mips64el.deb
18.19M
2016-11-20 00:28:21
agda-bin_2.5.1.1-3+b3_s390x.deb
21.21M
2016-11-10 18:30:30
libghc-agda-dev_2.5.1.1-3+b3_s390x.deb
25.00M
2016-11-10 18:30:30
agda-bin_2.5.1.1-3+b3_arm64.deb
10.76M
2016-11-10 18:10:23
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb
18.84M
2016-11-10 18:10:23
agda-bin_2.5.1.1-3+b3_amd64.deb
5.88M
2016-11-10 17:40:13
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb
12.25M
2016-11-10 17:40:13
agda-bin_2.5.1.1-3+b3_i386.deb
6.01M
2016-11-10 17:00:01
libghc-agda-dev_2.5.1.1-3+b3_i386.deb
13.66M
2016-11-10 17:00:01
agda-mode_2.5.1.1-3_all.deb
77.8K
2016-10-29 00:56:42
agda_2.5.1.1-3_all.deb
78.2K
2016-10-29 00:56:42
elpa-agda2-mode_2.5.1.1-3_all.deb
112.6K
2016-10-29 00:56:42
libghc-agda-doc_2.5.1.1-3_all.deb
2.53M
2016-10-29 00:56:42
agda_2.5.1.1-3.debian.tar.xz
8.8K
2016-10-28 00:24:59
agda_2.5.1.1-3.dsc
4.1K
2016-10-28 00:24:59
agda_2.5.1.1.orig.tar.gz
1.12M
2016-10-16 20:43:46
agda-bin_2.4.0.2-2+b1_powerpc.deb
3.40M
2014-09-08 08:12:50
libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb
9.17M
2014-09-08 08:12:50
agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb
4.31M
2014-09-08 07:57:38
libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb
9.34M
2014-09-08 07:57:38
agda-bin_2.4.0.2-2+b1_i386.deb
3.59M
2014-09-08 07:57:32
libghc-agda-dev_2.4.0.2-2+b1_i386.deb
9.23M
2014-09-08 07:57:32
agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb
4.14M
2014-09-08 07:47:27
libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb
9.19M
2014-09-08 07:47:27
agda-bin_2.4.0.2-2+b1_amd64.deb
3.74M
2014-09-07 18:27:59
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb
9.34M
2014-09-07 18:27:59
agda-mode_2.4.0.2-2_all.deb
86.3K
2014-08-11 11:28:59
agda_2.4.0.2-2.debian.tar.xz
7.2K
2014-08-11 11:28:59
agda_2.4.0.2-2.dsc
3.8K
2014-08-11 11:28:59
agda_2.4.0.2-2_all.deb
55.0K
2014-08-11 11:28:59
libghc-agda-doc_2.4.0.2-2_all.deb
1.87M
2014-08-11 11:28:59
agda_2.4.0.2.orig.tar.gz
0.87M
2014-08-05 09:23:29
libghc-agda-dev_2.3.0.1-2_sparc.deb
24.16M
2012-06-02 15:17:11
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb
12.44M
2012-05-27 23:02:08
libghc-agda-dev_2.3.0.1-2_armel.deb
16.78M
2012-05-27 21:33:48
libghc-agda-dev_2.3.0.1-2_s390x.deb
22.75M
2012-05-27 07:32:20
libghc-agda-dev_2.3.0.1-2_armhf.deb
17.86M
2012-05-27 07:32:07
libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb
11.82M
2012-05-27 05:32:08
libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb
12.44M
2012-05-27 05:17:09
libghc-agda-dev_2.3.0.1-2_powerpc.deb
15.70M
2012-05-26 23:47:08
libghc-agda-dev_2.3.0.1-2_i386.deb
11.83M
2012-05-26 22:32:12
agda-mode_2.3.0.1-2_all.deb
45.1K
2012-05-26 21:32:37
agda_2.3.0.1-2.debian.tar.gz
6.7K
2012-05-26 21:32:37
agda_2.3.0.1-2.dsc
2.3K
2012-05-26 21:32:37
agda_2.3.0.1-2_all.deb
12.9K
2012-05-26 21:32:37
libghc-agda-doc_2.3.0.1-2_all.deb
1.67M
2012-05-26 21:32:37
agda_2.3.0.1.orig.tar.gz
0.58M
2012-03-12 13:32:08
libghc6-agda-dev_2.2.6-7_sparc.deb
16.90M
2010-05-12 22:47:14
libghc6-agda-dev_2.2.6-7_mipsel.deb
16.69M
2010-05-06 21:47:30
libghc6-agda-dev_2.2.6-7_armel.deb
15.58M
2010-05-06 21:47:10
libghc6-agda-dev_2.2.6-7_mips.deb
17.84M
2010-05-06 19:47:03
libghc6-agda-dev_2.2.6-7_s390.deb
16.06M
2010-05-06 11:50:42
libghc6-agda-dev_2.2.6-7_powerpc.deb
12.57M
2010-05-06 07:17:32
libghc6-agda-dev_2.2.6-7_i386.deb
9.08M
2010-05-06 07:17:18
libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb
9.09M
2010-05-06 06:32:17
libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb
9.58M
2010-05-06 06:32:03
agda-mode_2.2.6-7_all.deb
39.1K
2010-05-06 04:02:03
agda_2.2.6-7.debian.tar.gz
5.2K
2010-05-06 04:02:03
agda_2.2.6-7.dsc
2.2K
2010-05-06 04:02:03
libghc6-agda-dev_2.2.6-7_amd64.deb
9.59M
2010-05-06 04:02:03
libghc6-agda-doc_2.2.6-7_all.deb
1.05M
2010-05-06 04:02:03
agda_2.2.6.orig.tar.gz
414.4K
2010-01-07 19:47:03