Index of /ubuntu/ubuntu/pool/universe/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda-bin_2.3.2-1_amd..>
2013-04-11 02:03
5.1M
agda-bin_2.3.2-1_i38..>
2013-04-11 02:03
4.7M
agda-bin_2.3.2.1-1_a..>
2013-06-17 08:03
5.1M
agda-bin_2.3.2.1-1_i..>
2013-06-17 08:03
4.7M
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.3.2.2-1bu..>
2014-06-13 04:43
3.3M
agda-bin_2.3.2.2-1bu..>
2014-06-13 04:43
3.2M
agda-bin_2.4.0.2-1_a..>
2014-08-10 18:58
3.7M
agda-bin_2.4.0.2-1_i..>
2014-08-10 18:59
3.6M
agda-bin_2.4.0.2-2_a..>
2014-08-12 00:53
3.7M
agda-bin_2.4.0.2-2_i..>
2014-08-12 00:53
3.6M
agda-bin_2.4.0.2-2bu..>
2014-10-30 02:00
3.7M
agda-bin_2.4.0.2-2bu..>
2014-10-30 02:01
3.6M
agda-bin_2.4.2.2-2_a..>
2015-06-05 17:33
4.3M
agda-bin_2.4.2.2-2_i..>
2015-06-05 17:33
4.3M
agda-bin_2.4.2.2-3_a..>
2015-07-03 23:33
4.3M
agda-bin_2.4.2.2-3_i..>
2015-07-03 23:23
4.3M
agda-bin_2.4.2.2-4_a..>
2015-08-04 23:44
4.3M
agda-bin_2.4.2.2-4_i..>
2015-08-04 23:33
4.3M
agda-bin_2.4.2.2-4bu..>
2015-08-16 17:23
4.3M
agda-bin_2.4.2.2-4bu..>
2015-08-16 17:08
4.3M
agda-bin_2.4.2.5-1_a..>
2016-01-05 07:45
4.4M
agda-bin_2.4.2.5-1_i..>
2016-01-05 07:45
4.4M
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.1-1_amd..>
2016-06-17 23:24
4.7M
agda-bin_2.5.1-1_i38..>
2016-06-17 22:06
4.7M
agda-bin_2.5.1-2_amd..>
2016-06-21 09:01
4.7M
agda-bin_2.5.1-2_i38..>
2016-06-21 07:42
4.7M
agda-bin_2.5.1-2buil..>
2016-07-15 15:40
4.7M
agda-bin_2.5.1-2buil..>
2016-07-15 15:40
4.7M
agda-bin_2.5.1-2buil..>
2016-08-09 22:04
4.7M
agda-bin_2.5.1-2buil..>
2016-08-09 21:25
4.7M
agda-bin_2.5.1-2buil..>
2016-10-22 13:49
4.7M
agda-bin_2.5.1-2buil..>
2016-10-22 13:49
4.7M
agda-bin_2.5.1.1-3_a..>
2016-11-13 22:08
4.8M
agda-bin_2.5.1.1-3_i..>
2016-11-13 21:32
4.8M
agda-bin_2.5.1.1-3bu..>
2017-01-27 16:03
4.8M
agda-bin_2.5.1.1-3bu..>
2017-01-27 15:29
4.8M
agda-bin_2.5.1.1-4_a..>
2017-06-22 00:18
4.8M
agda-bin_2.5.1.1-4_i..>
2017-06-21 23:54
4.8M
agda-bin_2.5.1.1-4bu..>
2017-06-22 01:24
4.8M
agda-bin_2.5.1.1-4bu..>
2017-06-22 01:25
4.8M
agda-bin_2.5.2-2_amd..>
2017-07-11 07:51
4.7M
agda-bin_2.5.2-2_i38..>
2017-07-11 07:39
4.8M
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.2-2~bui..>
2017-07-10 19:58
4.7M
agda-bin_2.5.2-2~bui..>
2017-07-10 19:33
4.8M
agda-bin_2.5.3-3_amd..>
2017-11-06 05:38
5.5M
agda-bin_2.5.3-3_i38..>
2017-11-06 05:38
5.5M
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-04 18:38
5.5M
agda-bin_2.5.3-5buil..>
2018-07-04 18:33
5.6M
agda-bin_2.5.3-5buil..>
2018-07-05 03:13
5.5M
agda-bin_2.5.3-5buil..>
2018-07-05 03:23
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-bin_2.6.0.1-1_a..>
2019-09-01 20:53
6.3M
agda-bin_2.6.0.1-1_i..>
2019-09-01 20:43
6.3M
agda-bin_2.6.0.1-1bu..>
2019-09-02 03:14
6.3M
agda-bin_2.6.0.1-1bu..>
2019-09-02 03:14
6.3M
agda-bin_2.6.0.1-1bu..>
2019-09-03 14:23
6.3M
agda-bin_2.6.0.1-1bu..>
2019-09-03 14:23
6.3M
agda-bin_2.6.0.1-1bu..>
2020-01-13 17:03
6.3M
agda-bin_2.6.0.1-1bu..>
2020-02-08 21:19
6.3M
agda-bin_2.6.1-0ubun..>
2020-07-07 13:04
8.5M
agda-bin_2.6.1-1_amd..>
2020-07-31 00:28
8.5M
agda-bin_2.6.1-1buil..>
2020-08-27 08:48
8.5M
agda-bin_2.6.1-1buil..>
2021-09-16 16:28
9.1M
agda-bin_2.6.1-1buil..>
2020-11-05 10:43
8.5M
agda-bin_2.6.2.2-1.1..>
2022-12-12 15:44
8.0M
agda-bin_2.6.2.2-1.1..>
2022-12-12 18:59
8.0M
agda-bin_2.6.2.2-1_a..>
2022-08-27 00:14
8.0M
agda-bin_2.6.3-1buil..>
2023-11-11 04:19
10M
agda-bin_2.6.3-1buil..>
2024-05-16 06:20
10M
agda-mode_2.2.6-3_al..>
2010-03-04 23:05
38K
agda-mode_2.3.0.1-1b..>
2012-04-22 01:03
40K
agda-mode_2.3.0.1-2b..>
2012-08-27 20:33
44K
agda-mode_2.3.2-1_al..>
2013-04-11 02:03
44K
agda-mode_2.3.2.1-1_..>
2013-06-17 08:03
44K
agda-mode_2.3.2.2-1_..>
2013-11-07 01:28
47K
agda-mode_2.3.2.2-1b..>
2014-06-13 04:43
41K
agda-mode_2.4.0.2-1_..>
2014-08-10 18:58
39K
agda-mode_2.4.0.2-2_..>
2014-08-12 00:53
39K
agda-mode_2.4.0.2-2b..>
2014-10-30 02:00
39K
agda-mode_2.4.2.2-2_..>
2015-06-05 17:33
35K
agda-mode_2.4.2.2-3_..>
2015-07-03 23:33
35K
agda-mode_2.4.2.2-4_..>
2015-08-04 23:44
35K
agda-mode_2.4.2.2-4b..>
2015-08-16 17:23
35K
agda-mode_2.4.2.5-1_..>
2016-01-05 07:45
37K
agda-mode_2.4.2.5-1b..>
2016-01-13 06:59
36K
agda-mode_2.5.1-1_al..>
2016-06-17 23:24
4.2K
agda-mode_2.5.1-2_al..>
2016-06-21 09:01
4.3K
agda-mode_2.5.1-2bui..>
2016-07-15 15:40
4.3K
agda-mode_2.5.1-2bui..>
2016-08-09 22:04
4.2K
agda-mode_2.5.1-2bui..>
2016-10-22 13:49
4.2K
agda-mode_2.5.1.1-3_..>
2016-11-13 22:08
4.1K
agda-mode_2.5.1.1-3b..>
2017-01-27 16:03
4.0K
agda-mode_2.5.1.1-4_..>
2017-06-22 00:18
4.1K
agda-mode_2.5.1.1-4b..>
2017-06-22 01:24
4.1K
agda-mode_2.5.2-2_al..>
2017-07-11 07:51
4.1K
agda-mode_2.5.2-2bui..>
2017-07-15 20:08
4.0K
agda-mode_2.5.2-2~bu..>
2017-07-10 19:58
4.1K
agda-mode_2.5.3-3_al..>
2017-11-06 05:38
3.7K
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-04 18:38
3.7K
agda-mode_2.5.3-5bui..>
2018-07-05 03:13
3.6K
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-mode_2.6.0.1-1_..>
2019-09-01 20:53
3.6K
agda-mode_2.6.0.1-1b..>
2019-09-02 03:14
3.6K
agda-mode_2.6.0.1-1b..>
2019-09-03 14:23
3.6K
agda-mode_2.6.0.1-1b..>
2020-01-13 17:03
3.6K
agda-mode_2.6.0.1-1b..>
2020-02-08 21:19
3.6K
agda-mode_2.6.1-0ubu..>
2020-07-07 13:04
3.6K
agda_2.2.6-3.diff.gz
2010-03-04 23:05
5.2K
agda_2.2.6-3.dsc
2010-03-04 23:05
2.7K
agda_2.2.6.orig.tar.gz
2010-02-03 06:04
414K
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-2build1..>
2012-08-27 20:33
6.8K
agda_2.3.0.1-2build1..>
2012-08-27 20:33
3.0K
agda_2.3.0.1-2build1..>
2012-08-27 20:33
2.9K
agda_2.3.0.1.orig.ta..>
2012-03-18 20:03
598K
agda_2.3.2-1.debian...>
2013-04-11 01:33
7.1K
agda_2.3.2-1.dsc
2013-04-11 01:33
3.3K
agda_2.3.2-1_all.deb
2013-04-11 02:03
2.9K
agda_2.3.2.1-1.debia..>
2013-06-17 07:33
7.1K
agda_2.3.2.1-1.dsc
2013-06-17 07:33
3.2K
agda_2.3.2.1-1_all.deb
2013-06-17 08:03
2.9K
agda_2.3.2.1.orig.ta..>
2013-06-17 07:33
713K
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-1build1..>
2014-06-13 04:33
7.4K
agda_2.3.2.2-1build1..>
2014-06-13 04:33
3.3K
agda_2.3.2.2-1build1..>
2014-06-13 04:43
3.0K
agda_2.3.2.2.orig.ta..>
2013-11-07 01:28
1.9M
agda_2.3.2.orig.tar.gz
2013-04-11 01:33
709K
agda_2.4.0.2-1.debia..>
2014-08-06 01:34
7.0K
agda_2.4.0.2-1.dsc
2014-08-06 01:34
3.8K
agda_2.4.0.2-1_all.deb
2014-08-10 18:58
3.0K
agda_2.4.0.2-2.debia..>
2014-08-12 00:28
7.2K
agda_2.4.0.2-2.dsc
2014-08-12 00:28
3.8K
agda_2.4.0.2-2_all.deb
2014-08-12 00:53
3.0K
agda_2.4.0.2-2build1..>
2014-10-30 01:58
7.2K
agda_2.4.0.2-2build1..>
2014-10-30 01:58
3.9K
agda_2.4.0.2-2build1..>
2014-10-30 02:00
3.0K
agda_2.4.0.2.orig.ta..>
2014-08-06 01:34
889K
agda_2.4.2.2-2.debia..>
2015-05-21 01:08
7.4K
agda_2.4.2.2-2.dsc
2015-05-21 01:08
3.5K
agda_2.4.2.2-2_all.deb
2015-06-05 17:33
2.9K
agda_2.4.2.2-3.debia..>
2015-07-02 07:08
8.2K
agda_2.4.2.2-3.dsc
2015-07-02 07:08
3.5K
agda_2.4.2.2-3_all.deb
2015-07-03 23:33
2.9K
agda_2.4.2.2-3build1..>
2015-07-20 21:13
8.2K
agda_2.4.2.2-3build1..>
2015-07-20 21:13
3.6K
agda_2.4.2.2-4.debia..>
2015-08-04 23:23
8.6K
agda_2.4.2.2-4.dsc
2015-08-04 23:23
3.5K
agda_2.4.2.2-4_all.deb
2015-08-04 23:44
2.9K
agda_2.4.2.2-4build1..>
2015-08-16 16:58
8.6K
agda_2.4.2.2-4build1..>
2015-08-16 16:58
3.6K
agda_2.4.2.2-4build1..>
2015-08-16 17:23
2.9K
agda_2.4.2.2.orig.ta..>
2015-05-21 01:08
941K
agda_2.4.2.5-1.debia..>
2016-01-05 07:25
7.6K
agda_2.4.2.5-1.dsc
2016-01-05 07:25
3.7K
agda_2.4.2.5-1_all.deb
2016-01-05 07:45
2.9K
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.1-1.debian...>
2016-06-15 07:44
8.3K
agda_2.5.1-1.dsc
2016-06-15 07:44
3.9K
agda_2.5.1-1_all.deb
2016-06-17 23:24
2.9K
agda_2.5.1-2.debian...>
2016-06-21 07:40
8.5K
agda_2.5.1-2.dsc
2016-06-21 07:40
3.9K
agda_2.5.1-2_all.deb
2016-06-21 09:01
2.9K
agda_2.5.1-2build1.d..>
2016-07-15 14:49
8.6K
agda_2.5.1-2build1.dsc
2016-07-15 14:49
4.0K
agda_2.5.1-2build1_a..>
2016-07-15 15:40
2.9K
agda_2.5.1-2build2.d..>
2016-08-09 21:19
8.7K
agda_2.5.1-2build2.dsc
2016-08-09 21:19
4.0K
agda_2.5.1-2build2_a..>
2016-08-09 22:04
2.9K
agda_2.5.1-2build3.d..>
2016-10-22 12:53
8.7K
agda_2.5.1-2build3.dsc
2016-10-22 12:53
4.1K
agda_2.5.1-2build3_a..>
2016-10-22 13:49
2.9K
agda_2.5.1.1-3.debia..>
2016-11-13 21:09
8.8K
agda_2.5.1.1-3.dsc
2016-11-13 21:09
4.1K
agda_2.5.1.1-3_all.deb
2016-11-13 22:08
2.9K
agda_2.5.1.1-3build1..>
2017-01-26 15:18
8.9K
agda_2.5.1.1-3build1..>
2017-01-26 15:18
4.0K
agda_2.5.1.1-3build2..>
2017-01-27 14:48
9.0K
agda_2.5.1.1-3build2..>
2017-01-27 14:48
4.0K
agda_2.5.1.1-3build3..>
2017-01-27 15:28
9.4K
agda_2.5.1.1-3build3..>
2017-01-27 15:28
4.0K
agda_2.5.1.1-3build3..>
2017-01-27 16:03
2.9K
agda_2.5.1.1-3build4..>
2017-06-21 13:33
9.6K
agda_2.5.1.1-3build4..>
2017-06-21 13:33
4.1K
agda_2.5.1.1-4.debia..>
2017-06-21 19:08
9.4K
agda_2.5.1.1-4.dsc
2017-06-21 19:08
3.9K
agda_2.5.1.1-4_all.deb
2017-06-22 00:18
2.9K
agda_2.5.1.1-4build1..>
2017-06-22 00:28
9.5K
agda_2.5.1.1-4build1..>
2017-06-22 00:28
3.9K
agda_2.5.1.1-4build1..>
2017-06-22 01:24
2.9K
agda_2.5.1.1-4build2..>
2017-07-06 15:38
9.5K
agda_2.5.1.1-4build2..>
2017-07-06 15:38
3.9K
agda_2.5.1.1.orig.ta..>
2016-11-13 21:09
1.1M
agda_2.5.1.orig.tar.gz
2016-06-15 07:44
1.1M
agda_2.5.2-1.debian...>
2017-07-07 13:08
8.6K
agda_2.5.2-1.dsc
2017-07-07 13:08
4.0K
agda_2.5.2-2.debian...>
2017-07-11 07:37
8.8K
agda_2.5.2-2.dsc
2017-07-11 07:37
4.0K
agda_2.5.2-2_all.deb
2017-07-11 07:51
2.9K
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-2~build1...>
2017-07-10 19:13
8.8K
agda_2.5.2-2~build1.dsc
2017-07-10 19:13
4.0K
agda_2.5.2-2~build1_..>
2017-07-10 19:58
2.9K
agda_2.5.2.orig.tar.gz
2017-07-07 13:08
1.2M
agda_2.5.3-3.debian...>
2017-11-01 21:05
9.5K
agda_2.5.3-3.dsc
2017-11-01 21:05
4.5K
agda_2.5.3-3_all.deb
2017-11-06 05:38
3.0K
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-5build1.d..>
2018-07-04 18:23
9.9K
agda_2.5.3-5build1.dsc
2018-07-04 18:23
4.4K
agda_2.5.3-5build1_a..>
2018-07-04 18:38
3.0K
agda_2.5.3-5build2.d..>
2018-07-05 02:58
9.9K
agda_2.5.3-5build2.dsc
2018-07-05 02:58
4.4K
agda_2.5.3-5build2_a..>
2018-07-05 03:13
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-3build1..>
2019-08-08 21:03
9.7K
agda_2.5.4.1-3build1..>
2019-08-08 21:03
3.8K
agda_2.5.4.1.orig.ta..>
2018-12-14 18:18
1.9M
agda_2.6.0.1-1.debia..>
2019-09-01 20:43
9.8K
agda_2.6.0.1-1.dsc
2019-09-01 20:43
4.1K
agda_2.6.0.1-1_all.deb
2019-09-01 20:53
4.0K
agda_2.6.0.1-1build1..>
2019-09-02 02:13
9.8K
agda_2.6.0.1-1build1..>
2019-09-02 02:13
4.1K
agda_2.6.0.1-1build1..>
2019-09-02 03:14
4.0K
agda_2.6.0.1-1build2..>
2019-09-03 13:53
9.9K
agda_2.6.0.1-1build2..>
2019-09-03 13:53
4.2K
agda_2.6.0.1-1build2..>
2019-09-03 14:23
4.0K
agda_2.6.0.1-1build3..>
2020-01-13 16:38
9.9K
agda_2.6.0.1-1build3..>
2020-01-13 16:38
4.2K
agda_2.6.0.1-1build3..>
2020-01-13 17:03
4.0K
agda_2.6.0.1-1build4..>
2020-02-08 19:38
10K
agda_2.6.0.1-1build4..>
2020-02-08 19:38
4.2K
agda_2.6.0.1-1build4..>
2020-02-08 21:19
4.0K
agda_2.6.0.1-1build5..>
2020-07-02 03:04
10K
agda_2.6.0.1-1build5..>
2020-07-02 03:04
4.2K
agda_2.6.0.1.orig.ta..>
2019-09-01 20:43
2.3M
agda_2.6.1-0ubuntu1...>
2020-07-07 12:04
9.9K
agda_2.6.1-0ubuntu1.dsc
2020-07-07 12:04
4.2K
agda_2.6.1-0ubuntu1_..>
2020-07-07 13:04
4.0K
agda_2.6.1-1.debian...>
2020-07-30 07:19
9.8K
agda_2.6.1-1.dsc
2020-07-30 07:19
4.1K
agda_2.6.1-1_all.deb
2020-07-31 00:28
4.1K
agda_2.6.1-1build1.d..>
2020-08-27 08:08
9.9K
agda_2.6.1-1build1.dsc
2020-08-27 08:08
4.2K
agda_2.6.1-1build1_a..>
2020-08-27 08:48
4.1K
agda_2.6.1-1build2.1..>
2021-09-16 15:39
10K
agda_2.6.1-1build2.1..>
2021-09-16 15:39
4.2K
agda_2.6.1-1build2.1..>
2021-09-16 16:28
4.0K
agda_2.6.1-1build2.d..>
2020-10-30 04:24
9.9K
agda_2.6.1-1build2.dsc
2020-10-30 04:24
4.2K
agda_2.6.1-1build2_a..>
2020-11-05 10:43
4.1K
agda_2.6.1.orig.tar.gz
2020-07-30 07:19
2.5M
agda_2.6.2.2-1.1.deb..>
2022-12-07 08:03
10K
agda_2.6.2.2-1.1.dsc
2022-12-07 08:03
4.3K
agda_2.6.2.2-1.1_all..>
2022-12-12 15:44
3.5K
agda_2.6.2.2-1.1buil..>
2022-12-12 18:29
10K
agda_2.6.2.2-1.1buil..>
2022-12-12 18:29
4.3K
agda_2.6.2.2-1.1buil..>
2022-12-12 18:59
3.6K
agda_2.6.2.2-1.debia..>
2022-08-07 07:19
10K
agda_2.6.2.2-1.dsc
2022-08-07 07:19
4.3K
agda_2.6.2.2-1_all.deb
2022-08-27 00:14
4.0K
agda_2.6.2.2.orig.ta..>
2022-08-07 07:19
1.6M
agda_2.6.3-1.debian...>
2023-10-26 23:43
11K
agda_2.6.3-1.dsc
2023-10-26 23:43
4.8K
agda_2.6.3-1build1.d..>
2023-11-08 17:36
11K
agda_2.6.3-1build1.dsc
2023-11-08 17:36
4.8K
agda_2.6.3-1build1_a..>
2023-11-11 04:19
3.7K
agda_2.6.3-1build2.d..>
2024-05-15 19:33
11K
agda_2.6.3-1build2.dsc
2024-05-15 19:33
4.8K
agda_2.6.3-1build2_a..>
2024-05-16 06:20
3.7K
agda_2.6.3.orig.tar.gz
2023-10-26 23:43
1.7M
elpa-agda2-mode_2.5...>
2016-06-17 23:24
39K
elpa-agda2-mode_2.5...>
2016-06-21 09:01
39K
elpa-agda2-mode_2.5...>
2016-07-15 15:40
39K
elpa-agda2-mode_2.5...>
2016-08-09 22:04
39K
elpa-agda2-mode_2.5...>
2016-10-22 13:49
39K
elpa-agda2-mode_2.5...>
2016-11-13 22:08
39K
elpa-agda2-mode_2.5...>
2017-01-27 16:03
39K
elpa-agda2-mode_2.5...>
2017-06-22 00:18
39K
elpa-agda2-mode_2.5...>
2017-06-22 01:24
39K
elpa-agda2-mode_2.5...>
2017-07-11 07:51
40K
elpa-agda2-mode_2.5...>
2017-07-15 20:08
40K
elpa-agda2-mode_2.5...>
2017-07-10 19:58
40K
elpa-agda2-mode_2.5...>
2017-11-06 05:38
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-04 18:38
40K
elpa-agda2-mode_2.5...>
2018-07-05 03:13
40K
elpa-agda2-mode_2.5...>
2018-07-05 16:58
40K
elpa-agda2-mode_2.5...>
2018-12-14 18:58
40K
elpa-agda2-mode_2.6...>
2019-09-01 20:53
41K
elpa-agda2-mode_2.6...>
2019-09-02 03:14
41K
elpa-agda2-mode_2.6...>
2019-09-03 14:23
41K
elpa-agda2-mode_2.6...>
2020-01-13 17:03
40K
elpa-agda2-mode_2.6...>
2020-02-08 21:19
40K
elpa-agda2-mode_2.6...>
2020-07-07 13:04
41K
elpa-agda2-mode_2.6...>
2020-07-31 00:28
41K
elpa-agda2-mode_2.6...>
2020-08-27 08:48
41K
elpa-agda2-mode_2.6...>
2021-09-16 16:28
45K
elpa-agda2-mode_2.6...>
2020-11-05 10:43
41K
elpa-agda2-mode_2.6...>
2022-12-12 15:44
44K
elpa-agda2-mode_2.6...>
2022-12-12 18:59
44K
elpa-agda2-mode_2.6...>
2022-08-27 00:14
45K
elpa-agda2-mode_2.6...>
2023-11-11 04:19
45K
elpa-agda2-mode_2.6...>
2024-05-16 06:20
45K
haskell-agda-doc_2.2..>
2010-03-04 23:05
1.0M
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...>
2012-08-27 21:03
13M
libghc-agda-dev_2.3...>
2012-08-27 20:33
12M
libghc-agda-dev_2.3...>
2013-04-11 02:03
13M
libghc-agda-dev_2.3...>
2013-04-11 02:03
12M
libghc-agda-dev_2.3...>
2013-06-17 08:03
13M
libghc-agda-dev_2.3...>
2013-06-17 08: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.3...>
2014-06-13 04:43
7.6M
libghc-agda-dev_2.3...>
2014-06-13 04:43
7.6M
libghc-agda-dev_2.4...>
2014-08-10 18:58
9.3M
libghc-agda-dev_2.4...>
2014-08-10 18:59
9.2M
libghc-agda-dev_2.4...>
2014-08-12 00:53
9.3M
libghc-agda-dev_2.4...>
2014-08-12 00:53
9.2M
libghc-agda-dev_2.4...>
2014-10-30 02:00
9.3M
libghc-agda-dev_2.4...>
2014-10-30 02:01
9.2M
libghc-agda-dev_2.4...>
2015-06-05 17:33
10M
libghc-agda-dev_2.4...>
2015-06-05 17:33
10M
libghc-agda-dev_2.4...>
2015-07-03 23:33
10M
libghc-agda-dev_2.4...>
2015-07-03 23:23
10M
libghc-agda-dev_2.4...>
2015-08-04 23:44
10M
libghc-agda-dev_2.4...>
2015-08-04 23:33
10M
libghc-agda-dev_2.4...>
2015-08-16 17:23
10M
libghc-agda-dev_2.4...>
2015-08-16 17:08
10M
libghc-agda-dev_2.4...>
2016-01-05 07:45
10M
libghc-agda-dev_2.4...>
2016-01-05 07:45
10M
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...>
2016-06-17 23:24
12M
libghc-agda-dev_2.5...>
2016-06-17 22:06
11M
libghc-agda-dev_2.5...>
2016-06-21 09:01
12M
libghc-agda-dev_2.5...>
2016-06-21 07:42
11M
libghc-agda-dev_2.5...>
2016-07-15 15:40
12M
libghc-agda-dev_2.5...>
2016-07-15 15:40
11M
libghc-agda-dev_2.5...>
2016-08-09 22:04
12M
libghc-agda-dev_2.5...>
2016-08-09 21:25
11M
libghc-agda-dev_2.5...>
2016-10-22 13:49
11M
libghc-agda-dev_2.5...>
2016-10-22 13:49
11M
libghc-agda-dev_2.5...>
2016-11-13 22:08
12M
libghc-agda-dev_2.5...>
2016-11-13 21:32
12M
libghc-agda-dev_2.5...>
2017-01-27 16:03
12M
libghc-agda-dev_2.5...>
2017-01-27 15:29
12M
libghc-agda-dev_2.5...>
2017-06-22 00:18
12M
libghc-agda-dev_2.5...>
2017-06-21 23:54
12M
libghc-agda-dev_2.5...>
2017-06-22 01:24
12M
libghc-agda-dev_2.5...>
2017-06-22 01:25
12M
libghc-agda-dev_2.5...>
2017-07-11 07:51
13M
libghc-agda-dev_2.5...>
2017-07-11 07:39
13M
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-07-10 19:58
13M
libghc-agda-dev_2.5...>
2017-07-10 19:33
13M
libghc-agda-dev_2.5...>
2017-11-06 05:38
15M
libghc-agda-dev_2.5...>
2017-11-06 05:38
15M
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-04 18:38
15M
libghc-agda-dev_2.5...>
2018-07-04 18:33
15M
libghc-agda-dev_2.5...>
2018-07-05 03:13
15M
libghc-agda-dev_2.5...>
2018-07-05 03:23
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-dev_2.6...>
2019-09-01 20:53
19M
libghc-agda-dev_2.6...>
2019-09-01 20:43
18M
libghc-agda-dev_2.6...>
2019-09-02 03:14
19M
libghc-agda-dev_2.6...>
2019-09-02 03:14
18M
libghc-agda-dev_2.6...>
2019-09-03 14:23
19M
libghc-agda-dev_2.6...>
2019-09-03 14:23
18M
libghc-agda-dev_2.6...>
2020-01-13 17:03
19M
libghc-agda-dev_2.6...>
2020-02-08 21:19
19M
libghc-agda-dev_2.6...>
2020-07-07 13:04
36M
libghc-agda-dev_2.6...>
2020-07-31 00:28
36M
libghc-agda-dev_2.6...>
2020-08-27 08:48
36M
libghc-agda-dev_2.6...>
2021-09-16 16:28
38M
libghc-agda-dev_2.6...>
2020-11-05 10:43
36M
libghc-agda-dev_2.6...>
2022-12-12 15:44
25M
libghc-agda-dev_2.6...>
2022-12-12 18:59
25M
libghc-agda-dev_2.6...>
2022-08-27 00:14
25M
libghc-agda-dev_2.6...>
2023-11-11 04:19
24M
libghc-agda-dev_2.6...>
2024-05-16 06:20
24M
libghc-agda-doc_2.3...>
2012-04-22 01:03
1.6M
libghc-agda-doc_2.3...>
2012-08-27 20:33
1.7M
libghc-agda-doc_2.3...>
2013-04-11 02:03
2.1M
libghc-agda-doc_2.3...>
2013-06-17 08:03
2.1M
libghc-agda-doc_2.3...>
2013-11-07 01:28
2.1M
libghc-agda-doc_2.3...>
2014-06-13 04:43
1.5M
libghc-agda-doc_2.4...>
2014-08-10 18:58
1.8M
libghc-agda-doc_2.4...>
2014-08-12 00:53
1.8M
libghc-agda-doc_2.4...>
2014-10-30 02:00
1.8M
libghc-agda-doc_2.4...>
2015-06-05 17:33
1.9M
libghc-agda-doc_2.4...>
2015-07-03 23:33
1.9M
libghc-agda-doc_2.4...>
2015-08-04 23:44
1.9M
libghc-agda-doc_2.4...>
2015-08-16 17:23
1.9M
libghc-agda-doc_2.4...>
2016-01-05 07:45
2.1M
libghc-agda-doc_2.4...>
2016-01-13 06:59
2.1M
libghc-agda-doc_2.5...>
2016-06-17 23:24
2.3M
libghc-agda-doc_2.5...>
2016-06-21 09:01
2.3M
libghc-agda-doc_2.5...>
2016-07-15 15:40
2.3M
libghc-agda-doc_2.5...>
2016-08-09 22:04
2.3M
libghc-agda-doc_2.5...>
2016-10-22 13:49
2.3M
libghc-agda-doc_2.5...>
2016-11-13 22:08
2.4M
libghc-agda-doc_2.5...>
2017-01-27 16:03
2.4M
libghc-agda-doc_2.5...>
2017-06-22 00:18
2.4M
libghc-agda-doc_2.5...>
2017-06-22 01:24
2.4M
libghc-agda-doc_2.5...>
2017-07-11 07:51
2.5M
libghc-agda-doc_2.5...>
2017-07-15 20:08
2.5M
libghc-agda-doc_2.5...>
2017-07-10 19:58
2.5M
libghc-agda-doc_2.5...>
2017-11-06 05:38
2.6M
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-04 18:38
2.5M
libghc-agda-doc_2.5...>
2018-07-05 03:13
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
libghc-agda-doc_2.6...>
2019-09-01 20:53
4.0M
libghc-agda-doc_2.6...>
2019-09-02 03:14
4.0M
libghc-agda-doc_2.6...>
2019-09-03 14:23
4.0M
libghc-agda-doc_2.6...>
2020-01-13 17:03
4.0M
libghc-agda-doc_2.6...>
2020-02-08 21:19
4.0M
libghc-agda-doc_2.6...>
2020-07-07 13:04
5.5M
libghc-agda-doc_2.6...>
2020-07-31 00:28
5.5M
libghc-agda-doc_2.6...>
2020-08-27 08:48
5.5M
libghc-agda-doc_2.6...>
2021-09-16 16:28
5.2M
libghc-agda-doc_2.6...>
2020-11-05 10:43
5.5M
libghc-agda-doc_2.6...>
2022-12-12 15:44
5.7M
libghc-agda-doc_2.6...>
2022-12-12 18:59
5.7M
libghc-agda-doc_2.6...>
2022-08-27 00:14
5.7M
libghc-agda-doc_2.6...>
2023-11-11 04:19
6.0M
libghc-agda-doc_2.6...>
2024-05-16 06:20
6.0M
libghc6-agda-dev_2.2..>
2010-03-04 23:05
9.6M
libghc6-agda-dev_2.2..>
2010-03-04 23:06
9.1M
libghc6-agda-prof_2...>
2010-03-04 23:05
14M
libghc6-agda-prof_2...>
2010-03-04 23:06
13M