Index of /caixamagica/pool/universe/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda_2.4.0.2-2build1.dsc
2015-05-17 05:05
3.9K
agda_2.4.0.2-2build1.debian.tar.xz
2015-05-17 05:05
7.2K
libghc-agda-dev_2.4.0.2-2build1_amd64.deb
2015-05-12 18:37
9.3M
agda-bin_2.4.0.2-2build1_amd64.deb
2015-05-12 18:36
3.7M
agda-mode_2.4.0.2-2build1_all.deb
2015-05-01 12:41
39K
agda_2.4.0.2-2build1_all.deb
2015-05-01 12:40
3.0K
agda-bin_2.4.0.2-2build1_i386.deb
2015-05-01 12:40
3.6M
libghc-agda-doc_2.4.0.2-2build1_all.deb
2015-05-01 12:39
1.8M
libghc-agda-dev_2.4.0.2-2build1_i386.deb
2015-05-01 12:39
9.2M
agda_2.4.0.2.orig.tar.gz
2015-01-05 00:51
889K
agda_2.4.0.2-2.dsc
2015-01-05 00:51
3.8K
agda_2.4.0.2-2.debian.tar.xz
2015-01-05 00:51
7.2K
agda-bin_2.4.0.2-2_amd64.deb
2014-12-31 08:20
3.7M
libghc-agda-dev_2.4.0.2-2_amd64.deb
2014-12-31 08:19
9.3M
libghc-agda-dev_2.4.0.2-2_i386.deb
2014-12-20 21:44
9.2M
agda-mode_2.4.0.2-2_all.deb
2014-12-20 21:43
39K
agda_2.4.0.2-2_all.deb
2014-12-20 21:43
3.0K
libghc-agda-doc_2.4.0.2-2_all.deb
2014-12-20 21:42
1.8M
agda-bin_2.4.0.2-2_i386.deb
2014-12-20 21:42
3.6M
libghc-agda-dev_2.3.2.2-1_amd64.deb
2014-04-15 10:53
13M
agda-bin_2.3.2.2-1_amd64.deb
2014-04-15 10:53
5.2M
agda_2.3.2.2-1_all.deb
2014-04-05 17:36
2.9K
libghc-agda-doc_2.3.2.2-1_all.deb
2014-04-05 17:35
2.1M
agda-mode_2.3.2.2-1_all.deb
2014-04-05 17:35
47K
libghc-agda-dev_2.3.2.2-1_i386.deb
2014-04-05 17:34
12M
agda-bin_2.3.2.2-1_i386.deb
2014-04-05 17:34
4.9M
agda-bin_2.3.2.1-1_amd64.deb
2013-10-06 01:36
5.1M
libghc-agda-dev_2.3.2.1-1_amd64.deb
2013-10-06 01:36
13M
agda-bin_2.3.2.1-1_i386.deb
2013-09-27 06:16
4.7M
libghc-agda-dev_2.3.2.1-1_i386.deb
2013-09-27 06:15
12M
libghc-agda-doc_2.3.2.1-1_all.deb
2013-09-27 06:15
2.1M
agda-mode_2.3.2.1-1_all.deb
2013-09-27 06:14
44K
agda_2.3.2.1-1_all.deb
2013-09-27 06:14
2.9K
libghc-agda-dev_2.3.2-1_amd64.deb
2013-05-05 15:56
13M
agda-bin_2.3.2-1_amd64.deb
2013-05-05 15:56
5.1M
agda-mode_2.3.2-1_all.deb
2013-04-27 16:26
44K
agda_2.3.2-1_all.deb
2013-04-27 16:25
2.9K
agda-bin_2.3.2-1_i386.deb
2013-04-27 16:25
4.7M
libghc-agda-dev_2.3.2-1_i386.deb
2013-04-27 16:25
12M
libghc-agda-doc_2.3.2-1_all.deb
2013-04-27 16:24
2.1M
libghc-agda-dev_2.3.0.1-2build1_amd64.deb
2012-10-08 03:48
13M
libghc-agda-doc_2.3.0.1-2build1_all.deb
2012-09-30 07:02
1.7M
agda-mode_2.3.0.1-2build1_all.deb
2012-09-30 07:01
44K
libghc-agda-dev_2.3.0.1-2build1_i386.deb
2012-09-30 07:01
12M
agda_2.3.0.1-2build1_all.deb
2012-09-30 07:01
2.9K
agda_2.3.0.1-2build1.dsc
2012-09-26 12:35
3.0K
agda_2.3.0.1-2build1.debian.tar.gz
2012-09-26 12:35
6.8K
libghc-agda-dev_2.3.0.1-1build2_amd64.deb
2012-04-22 01:49
12M
libghc-agda-doc_2.3.0.1-1build2_all.deb
2012-04-22 01:48
1.6M
libghc-agda-dev_2.3.0.1-1build2_i386.deb
2012-04-22 01:47
12M
agda-mode_2.3.0.1-1build2_all.deb
2012-04-22 01:47
40K
agda_2.3.0.1-1build2_all.deb
2012-04-22 01:46
2.9K
agda_2.3.0.1-1build2.dsc
2012-04-22 01:46
3.0K
agda_2.3.0.1-1build2.debian.tar.gz
2012-04-22 01:46
6.5K
agda_2.3.0.1.orig.tar.gz
2012-03-21 14:30
598K
libghc-agda-dev_2.2.10-3build1_amd64.deb
2011-08-13 07:48
10M
libghc-agda-doc_2.2.10-3build1_all.deb
2011-08-13 07:48
1.4M
libghc-agda-dev_2.2.10-3build1_i386.deb
2011-08-13 07:48
9.7M
agda-mode_2.2.10-3build1_all.deb
2011-08-13 07:48
39K
agda_2.2.10-3build1_all.deb
2011-08-13 07:47
2.9K
agda_2.2.10-3build1.dsc
2011-08-13 07:47
3.1K
agda_2.2.10-3build1.debian.tar.gz
2011-08-13 07:47
7.5K
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb
2011-02-24 22:05
11M
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb
2011-02-24 19:06
10M
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb
2011-02-24 19:05
1.2M
agda-mode_2.2.10-1~ubuntu1_all.deb
2011-02-24 19:05
39K
agda_2.2.10.orig.tar.gz
2011-02-24 19:05
506K
agda_2.2.10-1~ubuntu1.dsc
2011-02-24 19:05
3.1K
agda_2.2.10-1~ubuntu1.debian.tar.gz
2011-02-24 19:05
8.2K