Index of /ubuntu/pool/universe/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda-bin_2.3.2.2-1_a..>
2013-11-07 01:28
5.2M
agda-bin_2.3.2.2-1_i..>
2013-11-07 01:28
4.9M
agda-bin_2.4.2.5-1bu..>
2016-01-13 06:59
4.6M
agda-bin_2.4.2.5-1bu..>
2016-01-13 06:45
4.6M
agda-bin_2.5.2-2buil..>
2017-07-15 20:08
4.8M
agda-bin_2.5.2-2buil..>
2017-07-15 20:08
4.8M
agda-bin_2.5.3-3buil..>
2017-11-26 04:09
5.5M
agda-bin_2.5.3-3buil..>
2017-11-26 04:09
5.5M
agda-bin_2.5.3-5_amd..>
2018-05-20 21:00
5.5M
agda-bin_2.5.3-5_i38..>
2018-05-20 21:00
5.6M
agda-bin_2.5.3-5buil..>
2018-07-05 16:58
5.5M
agda-bin_2.5.3-5buil..>
2018-07-05 16:48
5.6M
agda-bin_2.5.4.1-3_a..>
2018-12-14 18:58
5.5M
agda-bin_2.5.4.1-3_i..>
2018-12-14 18:38
5.6M
agda-mode_2.3.0.1-1b..>
2012-04-22 01:03
40K
agda-mode_2.3.2.2-1_..>
2013-11-07 01:28
47K
agda-mode_2.4.2.5-1b..>
2016-01-13 06:59
36K
agda-mode_2.5.2-2bui..>
2017-07-15 20:08
4.0K
agda-mode_2.5.3-3bui..>
2017-11-26 04:09
3.5K
agda-mode_2.5.3-5_al..>
2018-05-20 21:00
3.7K
agda-mode_2.5.3-5bui..>
2018-07-05 16:58
3.5K
agda-mode_2.5.4.1-3_..>
2018-12-14 18:58
3.6K
agda_2.3.0.1-1build2..>
2012-04-22 00:33
6.5K
agda_2.3.0.1-1build2..>
2012-04-22 00:33
3.0K
agda_2.3.0.1-1build2..>
2012-04-22 01:03
2.9K
agda_2.3.0.1.orig.ta..>
2012-03-18 20:03
598K
agda_2.3.2.2-1.debia..>
2013-11-07 01:28
7.2K
agda_2.3.2.2-1.dsc
2013-11-07 01:28
3.2K
agda_2.3.2.2-1_all.deb
2013-11-07 01:28
2.9K
agda_2.3.2.2.orig.ta..>
2013-11-07 01:28
1.9M
agda_2.4.2.5-1build1..>
2016-01-13 06:30
7.7K
agda_2.4.2.5-1build1..>
2016-01-13 06:30
3.7K
agda_2.4.2.5-1build1..>
2016-01-13 06:59
2.9K
agda_2.4.2.5.orig.ta..>
2016-01-05 07:25
1.0M
agda_2.5.2-2build1.d..>
2017-07-15 16:58
8.9K
agda_2.5.2-2build1.dsc
2017-07-15 16:58
4.0K
agda_2.5.2-2build1_a..>
2017-07-15 20:08
2.9K
agda_2.5.2.orig.tar.gz
2017-07-07 13:08
1.2M
agda_2.5.3-3build1.d..>
2017-11-26 03:15
9.6K
agda_2.5.3-3build1.dsc
2017-11-26 03:15
4.5K
agda_2.5.3-3build1_a..>
2017-11-26 04:09
3.0K
agda_2.5.3-5.debian...>
2018-05-05 03:33
9.8K
agda_2.5.3-5.dsc
2018-05-05 03:33
4.6K
agda_2.5.3-5_all.deb
2018-05-20 21:00
3.0K
agda_2.5.3-5build3.d..>
2018-07-05 15:48
9.9K
agda_2.5.3-5build3.dsc
2018-07-05 15:48
4.4K
agda_2.5.3-5build3_a..>
2018-07-05 16:58
3.0K
agda_2.5.3.orig.tar.gz
2017-11-01 21:05
1.1M
agda_2.5.4.1-3.debia..>
2018-12-14 18:18
9.7K
agda_2.5.4.1-3.dsc
2018-12-14 18:18
3.8K
agda_2.5.4.1-3_all.deb
2018-12-14 18:58
4.0K
agda_2.5.4.1.orig.ta..>
2018-12-14 18:18
1.9M
elpa-agda2-mode_2.5...>
2017-07-15 20:08
40K
elpa-agda2-mode_2.5...>
2017-11-26 04:09
40K
elpa-agda2-mode_2.5...>
2018-05-20 21:00
40K
elpa-agda2-mode_2.5...>
2018-07-05 16:58
40K
elpa-agda2-mode_2.5...>
2018-12-14 18:58
40K
libghc-agda-dev_2.3...>
2012-04-22 01:03
12M
libghc-agda-dev_2.3...>
2012-04-22 01:03
12M
libghc-agda-dev_2.3...>
2013-11-07 01:28
13M
libghc-agda-dev_2.3...>
2013-11-07 01:28
12M
libghc-agda-dev_2.4...>
2016-01-13 06:59
10M
libghc-agda-dev_2.4...>
2016-01-13 06:45
10M
libghc-agda-dev_2.5...>
2017-07-15 20:08
13M
libghc-agda-dev_2.5...>
2017-07-15 20:08
13M
libghc-agda-dev_2.5...>
2017-11-26 04:09
15M
libghc-agda-dev_2.5...>
2017-11-26 04:09
15M
libghc-agda-dev_2.5...>
2018-05-20 21:00
15M
libghc-agda-dev_2.5...>
2018-05-20 21:00
15M
libghc-agda-dev_2.5...>
2018-07-05 16:58
15M
libghc-agda-dev_2.5...>
2018-07-05 16:48
15M
libghc-agda-dev_2.5...>
2018-12-14 18:58
16M
libghc-agda-dev_2.5...>
2018-12-14 18:38
16M
libghc-agda-doc_2.3...>
2012-04-22 01:03
1.6M
libghc-agda-doc_2.3...>
2013-11-07 01:28
2.1M
libghc-agda-doc_2.4...>
2016-01-13 06:59
2.1M
libghc-agda-doc_2.5...>
2017-07-15 20:08
2.5M
libghc-agda-doc_2.5...>
2017-11-26 04:09
2.6M
libghc-agda-doc_2.5...>
2018-05-20 21:00
2.5M
libghc-agda-doc_2.5...>
2018-07-05 16:58
2.5M
libghc-agda-doc_2.5...>
2018-12-14 18:58
3.5M