Index of /ubuntu/pool/universe/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]agda_2.5.2-2~build1.dsc2017-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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]agda_2.6.1-0ubuntu1.dsc2020-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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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 
[TXT]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