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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-bin_2.3.2-1_amd64.deb2013-04-10 18:03 5.1M 
[ ]agda-bin_2.3.2-1_i386.deb2013-04-10 18:03 4.7M 
[ ]agda-bin_2.3.2-1build1_amd64.deb2013-05-03 07:33 5.1M 
[ ]agda-bin_2.3.2-1build1_i386.deb2013-05-03 07:33 4.7M 
[ ]agda-bin_2.3.2-1build2_amd64.deb2013-05-27 15:33 5.1M 
[ ]agda-bin_2.3.2-1build2_i386.deb2013-05-27 15:33 4.7M 
[ ]agda-bin_2.3.2-2_amd64.deb2013-05-27 23:33 5.1M 
[ ]agda-bin_2.3.2-2_i386.deb2013-05-27 23:34 4.7M 
[ ]agda-bin_2.3.2-3_amd64.deb2013-05-30 13:03 5.1M 
[ ]agda-bin_2.3.2-3_i386.deb2013-05-30 12:06 4.7M 
[ ]agda-bin_2.3.2-4_amd64.deb2013-06-12 17:33 5.1M 
[ ]agda-bin_2.3.2-4_i386.deb2013-06-12 17:33 4.7M 
[ ]agda-bin_2.3.2.1-1_amd64.deb2013-06-17 00:03 5.1M 
[ ]agda-bin_2.3.2.1-1_i386.deb2013-06-17 00:03 4.7M 
[ ]agda-bin_2.3.2.1-2_amd64.deb2013-10-21 16:10 5.1M 
[ ]agda-bin_2.3.2.1-2_i386.deb2013-10-21 17:02 4.7M 
[ ]agda-bin_2.3.2.1-2build1_amd64.deb2013-10-28 06:48 5.1M 
[ ]agda-bin_2.3.2.1-2build1_i386.deb2013-10-28 07:08 4.7M 
[ ]agda-bin_2.3.2.2-1_amd64.deb2013-11-06 17:28 5.2M 
[ ]agda-bin_2.3.2.2-1_i386.deb2013-11-06 17:28 4.9M 
[ ]agda-bin_2.4.0.2-2_amd64.deb2014-08-11 16:53 3.7M 
[ ]agda-bin_2.4.0.2-2_i386.deb2014-08-11 16:53 3.6M 
[ ]agda-bin_2.4.0.2-2build1_amd64.deb2014-10-29 18:00 3.7M 
[ ]agda-bin_2.4.0.2-2build1_i386.deb2014-10-29 18:01 3.6M 
[ ]agda-bin_2.4.2.2-2_amd64.deb2015-06-05 09:33 4.3M 
[ ]agda-bin_2.4.2.2-2_i386.deb2015-06-05 09:33 4.3M 
[ ]agda-bin_2.4.2.2-3_amd64.deb2015-07-03 15:33 4.3M 
[ ]agda-bin_2.4.2.2-3_i386.deb2015-07-03 15:23 4.3M 
[ ]agda-bin_2.4.2.2-4_amd64.deb2015-08-04 15:44 4.3M 
[ ]agda-bin_2.4.2.2-4_i386.deb2015-08-04 15:33 4.3M 
[ ]agda-bin_2.4.2.2-4build1_amd64.deb2015-08-16 09:23 4.3M 
[ ]agda-bin_2.4.2.2-4build1_i386.deb2015-08-16 09:08 4.3M 
[ ]agda-bin_2.4.2.5-1_amd64.deb2016-01-04 23:45 4.4M 
[ ]agda-bin_2.4.2.5-1_i386.deb2016-01-04 23:45 4.4M 
[ ]agda-bin_2.4.2.5-1build1_amd64.deb2016-01-12 22:59 4.6M 
[ ]agda-bin_2.4.2.5-1build1_i386.deb2016-01-12 22:45 4.6M 
[ ]agda-bin_2.5.1-1_amd64.deb2016-06-17 15:24 4.7M 
[ ]agda-bin_2.5.1-1_i386.deb2016-06-17 14:06 4.7M 
[ ]agda-bin_2.5.1-2_amd64.deb2016-06-21 01:01 4.7M 
[ ]agda-bin_2.5.1-2_i386.deb2016-06-20 23:42 4.7M 
[ ]agda-bin_2.5.1-2build1_amd64.deb2016-07-15 07:40 4.7M 
[ ]agda-bin_2.5.1-2build1_i386.deb2016-07-15 07:40 4.7M 
[ ]agda-bin_2.5.1-2build2_amd64.deb2016-08-09 14:04 4.7M 
[ ]agda-bin_2.5.1-2build2_i386.deb2016-08-09 13:25 4.7M 
[ ]agda-bin_2.5.1-2build3_amd64.deb2016-10-22 05:49 4.7M 
[ ]agda-bin_2.5.1-2build3_i386.deb2016-10-22 05:49 4.7M 
[ ]agda-bin_2.5.1.1-3_amd64.deb2016-11-13 14:08 4.8M 
[ ]agda-bin_2.5.1.1-3_i386.deb2016-11-13 13:32 4.8M 
[ ]agda-bin_2.5.1.1-3build3_amd64.deb2017-01-27 08:03 4.8M 
[ ]agda-bin_2.5.1.1-3build3_i386.deb2017-01-27 07:29 4.8M 
[ ]agda-bin_2.5.1.1-4_amd64.deb2017-06-21 16:18 4.8M 
[ ]agda-bin_2.5.1.1-4_i386.deb2017-06-21 15:54 4.8M 
[ ]agda-bin_2.5.1.1-4build1_amd64.deb2017-06-21 17:24 4.8M 
[ ]agda-bin_2.5.1.1-4build1_i386.deb2017-06-21 17:25 4.8M 
[ ]agda-bin_2.5.2-2_amd64.deb2017-07-10 23:51 4.7M 
[ ]agda-bin_2.5.2-2_i386.deb2017-07-10 23:39 4.8M 
[ ]agda-bin_2.5.2-2build1_amd64.deb2017-07-15 12:08 4.8M 
[ ]agda-bin_2.5.2-2build1_i386.deb2017-07-15 12:08 4.8M 
[ ]agda-bin_2.5.2-2~build1_amd64.deb2017-07-10 11:58 4.7M 
[ ]agda-bin_2.5.2-2~build1_i386.deb2017-07-10 11:33 4.8M 
[ ]agda-bin_2.5.3-3_amd64.deb2017-11-05 21:38 5.5M 
[ ]agda-bin_2.5.3-3_i386.deb2017-11-05 21:38 5.5M 
[ ]agda-bin_2.5.3-3build1_amd64.deb2017-11-25 20:09 5.5M 
[ ]agda-bin_2.5.3-3build1_i386.deb2017-11-25 20:09 5.5M 
[ ]agda-bin_2.5.3-5_amd64.deb2018-05-20 13:00 5.5M 
[ ]agda-bin_2.5.3-5_i386.deb2018-05-20 13:00 5.6M 
[ ]agda-bin_2.5.3-5build1_amd64.deb2018-07-04 10:38 5.5M 
[ ]agda-bin_2.5.3-5build1_i386.deb2018-07-04 10:33 5.6M 
[ ]agda-bin_2.5.3-5build2_amd64.deb2018-07-04 19:13 5.5M 
[ ]agda-bin_2.5.3-5build2_i386.deb2018-07-04 19:23 5.6M 
[ ]agda-bin_2.5.3-5build3_amd64.deb2018-07-05 08:58 5.5M 
[ ]agda-bin_2.5.3-5build3_i386.deb2018-07-05 08:48 5.6M 
[ ]agda-bin_2.5.4.1-3_amd64.deb2018-12-14 10:58 5.5M 
[ ]agda-bin_2.5.4.1-3_i386.deb2018-12-14 10:38 5.6M 
[ ]agda-bin_2.6.0.1-1_amd64.deb2019-09-01 12:53 6.3M 
[ ]agda-bin_2.6.0.1-1_i386.deb2019-09-01 12:43 6.3M 
[ ]agda-bin_2.6.0.1-1build1_amd64.deb2019-09-01 19:14 6.3M 
[ ]agda-bin_2.6.0.1-1build1_i386.deb2019-09-01 19:14 6.3M 
[ ]agda-bin_2.6.0.1-1build2_amd64.deb2019-09-03 06:23 6.3M 
[ ]agda-bin_2.6.0.1-1build2_i386.deb2019-09-03 06:23 6.3M 
[ ]agda-bin_2.6.0.1-1build3_amd64.deb2020-01-13 09:03 6.3M 
[ ]agda-bin_2.6.0.1-1build4_amd64.deb2020-02-08 13:19 6.3M 
[ ]agda-bin_2.6.1-0ubuntu1_amd64.deb2020-07-07 05:04 8.5M 
[ ]agda-bin_2.6.1-1_amd64.deb2020-07-30 16:28 8.5M 
[ ]agda-bin_2.6.1-1build1_amd64.deb2020-08-27 00:48 8.5M 
[ ]agda-bin_2.6.1-1build2.1_amd64.deb2021-09-16 08:28 9.1M 
[ ]agda-bin_2.6.1-1build2_amd64.deb2020-11-05 02:43 8.5M 
[ ]agda-bin_2.6.2.2-1.1_amd64.deb2022-12-12 07:44 8.0M 
[ ]agda-bin_2.6.2.2-1.1build1_amd64.deb2022-12-12 10:59 8.0M 
[ ]agda-bin_2.6.2.2-1_amd64.deb2022-08-26 16:14 8.0M 
[ ]agda-bin_2.6.3-1build1_amd64.deb2023-11-10 20:19 10M 
[ ]agda-bin_2.6.3-1build2_amd64.deb2024-05-15 22:20 10M 
[ ]agda-bin_2.6.3-2_amd64.deb2024-09-07 06:18 10M 
[ ]agda-bin_2.6.4.3-1_amd64.deb2024-10-25 21:15 10M 
[ ]agda-mode_2.2.4+dfsg-1_all.deb2009-08-24 13:05 36K 
[ ]agda-mode_2.2.6-3_all.deb2010-03-04 15:05 38K 
[ ]agda-mode_2.2.6-7build1_all.deb2010-05-26 09:04 39K 
[ ]agda-mode_2.2.6-7build2_all.deb2011-02-12 17:04 39K 
[ ]agda-mode_2.2.10-1_all.deb2011-05-30 08:04 39K 
[ ]agda-mode_2.2.10-1~ubuntu1_all.deb2011-02-24 19:05 39K 
[ ]agda-mode_2.2.10-2build1_all.deb2011-06-09 09:04 39K 
[ ]agda-mode_2.2.10-3_all.deb2011-06-18 00:05 39K 
[ ]agda-mode_2.2.10-3build1_all.deb2011-07-09 22:06 39K 
[ ]agda-mode_2.2.10-4_all.deb2011-10-17 10:07 39K 
[ ]agda-mode_2.2.10-4build1_all.deb2011-11-14 10:20 39K 
[ ]agda-mode_2.3.0-1_all.deb2011-11-29 18:04 40K 
[ ]agda-mode_2.3.0-1build1_all.deb2012-01-04 01:04 40K 
[ ]agda-mode_2.3.0-1build2_all.deb2012-01-23 10:33 40K 
[ ]agda-mode_2.3.0.1-1_all.deb2012-03-18 12:33 40K 
[ ]agda-mode_2.3.0.1-1build1_all.deb2012-04-11 06:04 40K 
[ ]agda-mode_2.3.0.1-1build2_all.deb2012-04-21 17:03 40K 
[ ]agda-mode_2.3.0.1-2build1_all.deb2012-08-27 12:33 44K 
[ ]agda-mode_2.3.2-1_all.deb2013-04-10 18:03 44K 
[ ]agda-mode_2.3.2-1build1_all.deb2013-05-03 07:33 44K 
[ ]agda-mode_2.3.2-1build2_all.deb2013-05-27 15:33 43K 
[ ]agda-mode_2.3.2-2_all.deb2013-05-27 23:33 43K 
[ ]agda-mode_2.3.2-3_all.deb2013-05-30 12:05 43K 
[ ]agda-mode_2.3.2-4_all.deb2013-06-12 17:33 43K 
[ ]agda-mode_2.3.2.1-1_all.deb2013-06-17 00:03 44K 
[ ]agda-mode_2.3.2.1-2_all.deb2013-10-21 16:59 43K 
[ ]agda-mode_2.3.2.1-2build1_all.deb2013-10-28 07:08 44K 
[ ]agda-mode_2.3.2.2-1_all.deb2013-11-06 17:28 47K 
[ ]agda-mode_2.4.0.2-2_all.deb2014-08-11 16:53 39K 
[ ]agda-mode_2.4.0.2-2build1_all.deb2014-10-29 18:00 39K 
[ ]agda-mode_2.4.2.2-2_all.deb2015-06-05 09:33 35K 
[ ]agda-mode_2.4.2.2-3_all.deb2015-07-03 15:33 35K 
[ ]agda-mode_2.4.2.2-4_all.deb2015-08-04 15:44 35K 
[ ]agda-mode_2.4.2.2-4build1_all.deb2015-08-16 09:23 35K 
[ ]agda-mode_2.4.2.5-1_all.deb2016-01-04 23:45 37K 
[ ]agda-mode_2.4.2.5-1build1_all.deb2016-01-12 22:59 36K 
[ ]agda-mode_2.5.1-1_all.deb2016-06-17 15:24 4.2K 
[ ]agda-mode_2.5.1-2_all.deb2016-06-21 01:01 4.3K 
[ ]agda-mode_2.5.1-2build1_all.deb2016-07-15 07:40 4.3K 
[ ]agda-mode_2.5.1-2build2_all.deb2016-08-09 14:04 4.2K 
[ ]agda-mode_2.5.1-2build3_all.deb2016-10-22 05:49 4.2K 
[ ]agda-mode_2.5.1.1-3_all.deb2016-11-13 14:08 4.1K 
[ ]agda-mode_2.5.1.1-3build3_all.deb2017-01-27 08:03 4.0K 
[ ]agda-mode_2.5.1.1-4_all.deb2017-06-21 16:18 4.1K 
[ ]agda-mode_2.5.1.1-4build1_all.deb2017-06-21 17:24 4.1K 
[ ]agda-mode_2.5.2-2_all.deb2017-07-10 23:51 4.1K 
[ ]agda-mode_2.5.2-2build1_all.deb2017-07-15 12:08 4.0K 
[ ]agda-mode_2.5.2-2~build1_all.deb2017-07-10 11:58 4.1K 
[ ]agda-mode_2.5.3-3_all.deb2017-11-05 21:38 3.7K 
[ ]agda-mode_2.5.3-3build1_all.deb2017-11-25 20:09 3.5K 
[ ]agda-mode_2.5.3-5_all.deb2018-05-20 13:00 3.7K 
[ ]agda-mode_2.5.3-5build1_all.deb2018-07-04 10:38 3.7K 
[ ]agda-mode_2.5.3-5build2_all.deb2018-07-04 19:13 3.6K 
[ ]agda-mode_2.5.3-5build3_all.deb2018-07-05 08:58 3.5K 
[ ]agda-mode_2.5.4.1-3_all.deb2018-12-14 10:58 3.6K 
[ ]agda-mode_2.6.0.1-1_all.deb2019-09-01 12:53 3.6K 
[ ]agda-mode_2.6.0.1-1build1_all.deb2019-09-01 19:14 3.6K 
[ ]agda-mode_2.6.0.1-1build2_all.deb2019-09-03 06:23 3.6K 
[ ]agda-mode_2.6.0.1-1build3_all.deb2020-01-13 09:03 3.6K 
[ ]agda-mode_2.6.0.1-1build4_all.deb2020-02-08 13:19 3.6K 
[ ]agda-mode_2.6.1-0ubuntu1_all.deb2020-07-07 05:04 3.6K 
[ ]agda_2.2.4+dfsg-1.diff.gz2009-08-24 11:04 4.0K 
[ ]agda_2.2.4+dfsg-1.dsc2009-08-24 11:04 3.0K 
[ ]agda_2.2.4+dfsg.orig.tar.gz2009-08-24 11:04 369K 
[ ]agda_2.2.6-3.diff.gz2010-03-04 15:05 5.2K 
[ ]agda_2.2.6-3.dsc2010-03-04 15:05 2.7K 
[ ]agda_2.2.6-7build1.debian.tar.gz2010-05-26 09:04 5.2K 
[ ]agda_2.2.6-7build1.dsc2010-05-26 09:04 2.3K 
[ ]agda_2.2.6-7build2.debian.tar.gz2011-01-26 14:04 5.4K 
[ ]agda_2.2.6-7build2.dsc2011-01-26 14:04 2.9K 
[ ]agda_2.2.6.orig.tar.gz2010-02-02 22:04 414K 
[ ]agda_2.2.10-1.debian.tar.gz2011-05-29 22:04 7.0K 
[ ]agda_2.2.10-1.dsc2011-05-29 22:04 3.1K 
[ ]agda_2.2.10-1_all.deb2011-05-30 08:04 3.0K 
[ ]agda_2.2.10-1~ubuntu1.debian.tar.gz2011-02-24 19:05 8.2K 
[ ]agda_2.2.10-1~ubuntu1.dsc2011-02-24 19:05 3.1K 
[ ]agda_2.2.10-2.debian.tar.gz2011-06-08 09:04 7.4K 
[ ]agda_2.2.10-2.dsc2011-06-08 09:04 2.4K 
[ ]agda_2.2.10-2build1.debian.tar.gz2011-06-09 09:04 7.5K 
[ ]agda_2.2.10-2build1.dsc2011-06-09 09:04 3.1K 
[ ]agda_2.2.10-2build1_all.deb2011-06-09 09:04 3.0K 
[ ]agda_2.2.10-3.debian.tar.gz2011-06-17 23:05 7.4K 
[ ]agda_2.2.10-3.dsc2011-06-17 23:05 2.4K 
[ ]agda_2.2.10-3_all.deb2011-06-18 00:05 2.9K 
[ ]agda_2.2.10-3build1.debian.tar.gz2011-07-09 22:06 7.5K 
[ ]agda_2.2.10-3build1.dsc2011-07-09 22:06 3.1K 
[ ]agda_2.2.10-3build1_all.deb2011-07-09 22:06 2.9K 
[ ]agda_2.2.10-4.debian.tar.gz2011-10-17 10:07 7.9K 
[ ]agda_2.2.10-4.dsc2011-10-17 10:07 3.0K 
[ ]agda_2.2.10-4_all.deb2011-10-17 10:07 2.9K 
[ ]agda_2.2.10-4build1.debian.tar.gz2011-11-14 10:20 7.9K 
[ ]agda_2.2.10-4build1.dsc2011-11-14 10:20 3.2K 
[ ]agda_2.2.10-4build1_all.deb2011-11-14 10:20 2.9K 
[ ]agda_2.2.10.orig.tar.gz2011-02-24 19:05 506K 
[ ]agda_2.3.0-1.debian.tar.gz2011-11-29 18:04 6.4K 
[ ]agda_2.3.0-1.dsc2011-11-29 18:04 3.4K 
[ ]agda_2.3.0-1_all.deb2011-11-29 18:04 2.9K 
[ ]agda_2.3.0-1build1.debian.tar.gz2012-01-04 01:04 6.4K 
[ ]agda_2.3.0-1build1.dsc2012-01-04 01:04 3.4K 
[ ]agda_2.3.0-1build1_all.deb2012-01-04 01:04 2.9K 
[ ]agda_2.3.0-1build2.debian.tar.gz2012-01-23 10:03 6.4K 
[ ]agda_2.3.0-1build2.dsc2012-01-23 10:03 3.4K 
[ ]agda_2.3.0-1build2_all.deb2012-01-23 10:33 2.9K 
[ ]agda_2.3.0.1-1.debian.tar.gz2012-03-18 12:03 6.4K 
[ ]agda_2.3.0.1-1.dsc2012-03-18 12:03 2.3K 
[ ]agda_2.3.0.1-1_all.deb2012-03-18 12:33 2.9K 
[ ]agda_2.3.0.1-1build1.debian.tar.gz2012-04-11 00:04 6.4K 
[ ]agda_2.3.0.1-1build1.dsc2012-04-11 00:04 3.0K 
[ ]agda_2.3.0.1-1build1_all.deb2012-04-11 06:04 2.9K 
[ ]agda_2.3.0.1-1build2.debian.tar.gz2012-04-21 16:33 6.5K 
[ ]agda_2.3.0.1-1build2.dsc2012-04-21 16:33 3.0K 
[ ]agda_2.3.0.1-1build2_all.deb2012-04-21 17:03 2.9K 
[ ]agda_2.3.0.1-2.debian.tar.gz2012-05-27 20:04 6.7K 
[ ]agda_2.3.0.1-2.dsc2012-05-27 20:04 2.3K 
[ ]agda_2.3.0.1-2build1.debian.tar.gz2012-08-27 12:33 6.8K 
[ ]agda_2.3.0.1-2build1.dsc2012-08-27 12:33 3.0K 
[ ]agda_2.3.0.1-2build1_all.deb2012-08-27 12:33 2.9K 
[ ]agda_2.3.0.1.orig.tar.gz2012-03-18 12:03 598K 
[ ]agda_2.3.0.orig.tar.gz2011-11-29 18:04 594K 
[ ]agda_2.3.2-1.debian.tar.gz2013-04-10 17:33 7.1K 
[ ]agda_2.3.2-1.dsc2013-04-10 17:33 3.3K 
[ ]agda_2.3.2-1_all.deb2013-04-10 18:03 2.9K 
[ ]agda_2.3.2-1build1.debian.tar.gz2013-05-03 07:03 7.2K 
[ ]agda_2.3.2-1build1.dsc2013-05-03 07:03 3.4K 
[ ]agda_2.3.2-1build1_all.deb2013-05-03 07:33 2.9K 
[ ]agda_2.3.2-1build2.debian.tar.gz2013-05-27 15:03 7.3K 
[ ]agda_2.3.2-1build2.dsc2013-05-27 15:03 3.4K 
[ ]agda_2.3.2-1build2_all.deb2013-05-27 15:33 2.9K 
[ ]agda_2.3.2-2.debian.tar.gz2013-05-27 23:33 7.2K 
[ ]agda_2.3.2-2.dsc2013-05-27 23:33 3.3K 
[ ]agda_2.3.2-2_all.deb2013-05-27 23:33 2.9K 
[ ]agda_2.3.2-3.debian.tar.gz2013-05-29 18:13 7.3K 
[ ]agda_2.3.2-3.dsc2013-05-29 18:13 2.6K 
[ ]agda_2.3.2-3_all.deb2013-05-30 12:05 2.9K 
[ ]agda_2.3.2-4.debian.tar.gz2013-06-12 17:33 7.2K 
[ ]agda_2.3.2-4.dsc2013-06-12 17:33 3.2K 
[ ]agda_2.3.2-4_all.deb2013-06-12 17:33 2.9K 
[ ]agda_2.3.2.1-1.debian.tar.gz2013-06-16 23:33 7.1K 
[ ]agda_2.3.2.1-1.dsc2013-06-16 23:33 3.2K 
[ ]agda_2.3.2.1-1_all.deb2013-06-17 00:03 2.9K 
[ ]agda_2.3.2.1-2.debian.tar.gz2013-10-21 13:09 7.5K 
[ ]agda_2.3.2.1-2.dsc2013-10-21 13:09 3.2K 
[ ]agda_2.3.2.1-2_all.deb2013-10-21 16:59 2.9K 
[ ]agda_2.3.2.1-2build1.debian.tar.gz2013-10-28 06:48 7.6K 
[ ]agda_2.3.2.1-2build1.dsc2013-10-28 06:48 3.3K 
[ ]agda_2.3.2.1-2build1_all.deb2013-10-28 07:08 2.9K 
[ ]agda_2.3.2.1.orig.tar.gz2013-06-16 23:33 713K 
[ ]agda_2.3.2.2-1.debian.tar.gz2013-11-06 17:28 7.2K 
[ ]agda_2.3.2.2-1.dsc2013-11-06 17:28 3.2K 
[ ]agda_2.3.2.2-1_all.deb2013-11-06 17:28 2.9K 
[ ]agda_2.3.2.2.orig.tar.gz2013-11-06 17:28 1.9M 
[ ]agda_2.3.2.orig.tar.gz2013-04-10 17:33 709K 
[ ]agda_2.4.0.2-2.debian.tar.xz2014-08-11 16:28 7.2K 
[ ]agda_2.4.0.2-2.dsc2014-08-11 16:28 3.8K 
[ ]agda_2.4.0.2-2_all.deb2014-08-11 16:53 3.0K 
[ ]agda_2.4.0.2-2build1.debian.tar.xz2014-10-29 17:58 7.2K 
[ ]agda_2.4.0.2-2build1.dsc2014-10-29 17:58 3.9K 
[ ]agda_2.4.0.2-2build1_all.deb2014-10-29 18:00 3.0K 
[ ]agda_2.4.0.2.orig.tar.gz2014-08-05 17:34 889K 
[ ]agda_2.4.2.2-2.debian.tar.xz2015-05-20 17:08 7.4K 
[ ]agda_2.4.2.2-2.dsc2015-05-20 17:08 3.5K 
[ ]agda_2.4.2.2-2_all.deb2015-06-05 09:33 2.9K 
[ ]agda_2.4.2.2-3.debian.tar.xz2015-07-01 23:08 8.2K 
[ ]agda_2.4.2.2-3.dsc2015-07-01 23:08 3.5K 
[ ]agda_2.4.2.2-3_all.deb2015-07-03 15:33 2.9K 
[ ]agda_2.4.2.2-3build1.debian.tar.xz2015-07-20 13:13 8.2K 
[ ]agda_2.4.2.2-3build1.dsc2015-07-20 13:13 3.6K 
[ ]agda_2.4.2.2-4.debian.tar.xz2015-08-04 15:23 8.6K 
[ ]agda_2.4.2.2-4.dsc2015-08-04 15:23 3.5K 
[ ]agda_2.4.2.2-4_all.deb2015-08-04 15:44 2.9K 
[ ]agda_2.4.2.2-4build1.debian.tar.xz2015-08-16 08:58 8.6K 
[ ]agda_2.4.2.2-4build1.dsc2015-08-16 08:58 3.6K 
[ ]agda_2.4.2.2-4build1_all.deb2015-08-16 09:23 2.9K 
[ ]agda_2.4.2.2.orig.tar.gz2015-05-20 17:08 941K 
[ ]agda_2.4.2.5-1.debian.tar.xz2016-01-04 23:25 7.6K 
[ ]agda_2.4.2.5-1.dsc2016-01-04 23:25 3.7K 
[ ]agda_2.4.2.5-1_all.deb2016-01-04 23:45 2.9K 
[ ]agda_2.4.2.5-1build1.debian.tar.xz2016-01-12 22:30 7.7K 
[ ]agda_2.4.2.5-1build1.dsc2016-01-12 22:30 3.7K 
[ ]agda_2.4.2.5-1build1_all.deb2016-01-12 22:59 2.9K 
[ ]agda_2.4.2.5.orig.tar.gz2016-01-04 23:25 1.0M 
[ ]agda_2.5.1-1.debian.tar.xz2016-06-14 23:44 8.3K 
[ ]agda_2.5.1-1.dsc2016-06-14 23:44 3.9K 
[ ]agda_2.5.1-1_all.deb2016-06-17 15:24 2.9K 
[ ]agda_2.5.1-2.debian.tar.xz2016-06-20 23:40 8.5K 
[ ]agda_2.5.1-2.dsc2016-06-20 23:40 3.9K 
[ ]agda_2.5.1-2_all.deb2016-06-21 01:01 2.9K 
[ ]agda_2.5.1-2build1.debian.tar.xz2016-07-15 06:49 8.6K 
[ ]agda_2.5.1-2build1.dsc2016-07-15 06:49 4.0K 
[ ]agda_2.5.1-2build1_all.deb2016-07-15 07:40 2.9K 
[ ]agda_2.5.1-2build2.debian.tar.xz2016-08-09 13:19 8.7K 
[ ]agda_2.5.1-2build2.dsc2016-08-09 13:19 4.0K 
[ ]agda_2.5.1-2build2_all.deb2016-08-09 14:04 2.9K 
[ ]agda_2.5.1-2build3.debian.tar.xz2016-10-22 04:53 8.7K 
[ ]agda_2.5.1-2build3.dsc2016-10-22 04:53 4.1K 
[ ]agda_2.5.1-2build3_all.deb2016-10-22 05:49 2.9K 
[ ]agda_2.5.1.1-3.debian.tar.xz2016-11-13 13:09 8.8K 
[ ]agda_2.5.1.1-3.dsc2016-11-13 13:09 4.1K 
[ ]agda_2.5.1.1-3_all.deb2016-11-13 14:08 2.9K 
[ ]agda_2.5.1.1-3build1.debian.tar.xz2017-01-26 07:18 8.9K 
[ ]agda_2.5.1.1-3build1.dsc2017-01-26 07:18 4.0K 
[ ]agda_2.5.1.1-3build2.debian.tar.xz2017-01-27 06:48 9.0K 
[ ]agda_2.5.1.1-3build2.dsc2017-01-27 06:48 4.0K 
[ ]agda_2.5.1.1-3build3.debian.tar.xz2017-01-27 07:28 9.4K 
[ ]agda_2.5.1.1-3build3.dsc2017-01-27 07:28 4.0K 
[ ]agda_2.5.1.1-3build3_all.deb2017-01-27 08:03 2.9K 
[ ]agda_2.5.1.1-3build4.debian.tar.xz2017-06-21 05:33 9.6K 
[ ]agda_2.5.1.1-3build4.dsc2017-06-21 05:33 4.1K 
[ ]agda_2.5.1.1-4.debian.tar.xz2017-06-21 11:08 9.4K 
[ ]agda_2.5.1.1-4.dsc2017-06-21 11:08 3.9K 
[ ]agda_2.5.1.1-4_all.deb2017-06-21 16:18 2.9K 
[ ]agda_2.5.1.1-4build1.debian.tar.xz2017-06-21 16:28 9.5K 
[ ]agda_2.5.1.1-4build1.dsc2017-06-21 16:28 3.9K 
[ ]agda_2.5.1.1-4build1_all.deb2017-06-21 17:24 2.9K 
[ ]agda_2.5.1.1-4build2.debian.tar.xz2017-07-06 07:38 9.5K 
[ ]agda_2.5.1.1-4build2.dsc2017-07-06 07:38 3.9K 
[ ]agda_2.5.1.1.orig.tar.gz2016-11-13 13:09 1.1M 
[ ]agda_2.5.1.orig.tar.gz2016-06-14 23:44 1.1M 
[ ]agda_2.5.2-1.debian.tar.xz2017-07-07 05:08 8.6K 
[ ]agda_2.5.2-1.dsc2017-07-07 05:08 4.0K 
[ ]agda_2.5.2-2.debian.tar.xz2017-07-10 23:37 8.8K 
[ ]agda_2.5.2-2.dsc2017-07-10 23:37 4.0K 
[ ]agda_2.5.2-2_all.deb2017-07-10 23:51 2.9K 
[ ]agda_2.5.2-2build1.debian.tar.xz2017-07-15 08:58 8.9K 
[ ]agda_2.5.2-2build1.dsc2017-07-15 08:58 4.0K 
[ ]agda_2.5.2-2build1_all.deb2017-07-15 12:08 2.9K 
[ ]agda_2.5.2-2~build1.debian.tar.xz2017-07-10 11:13 8.8K 
[ ]agda_2.5.2-2~build1.dsc2017-07-10 11:13 4.0K 
[ ]agda_2.5.2-2~build1_all.deb2017-07-10 11:58 2.9K 
[ ]agda_2.5.2.orig.tar.gz2017-07-07 05:08 1.2M 
[ ]agda_2.5.3-3.debian.tar.xz2017-11-01 13:05 9.5K 
[ ]agda_2.5.3-3.dsc2017-11-01 13:05 4.5K 
[ ]agda_2.5.3-3_all.deb2017-11-05 21:38 3.0K 
[ ]agda_2.5.3-3build1.debian.tar.xz2017-11-25 19:15 9.6K 
[ ]agda_2.5.3-3build1.dsc2017-11-25 19:15 4.5K 
[ ]agda_2.5.3-3build1_all.deb2017-11-25 20:09 3.0K 
[ ]agda_2.5.3-5.debian.tar.xz2018-05-04 19:33 9.8K 
[ ]agda_2.5.3-5.dsc2018-05-04 19:33 4.6K 
[ ]agda_2.5.3-5_all.deb2018-05-20 13:00 3.0K 
[ ]agda_2.5.3-5build1.debian.tar.xz2018-07-04 10:23 9.9K 
[ ]agda_2.5.3-5build1.dsc2018-07-04 10:23 4.4K 
[ ]agda_2.5.3-5build1_all.deb2018-07-04 10:38 3.0K 
[ ]agda_2.5.3-5build2.debian.tar.xz2018-07-04 18:58 9.9K 
[ ]agda_2.5.3-5build2.dsc2018-07-04 18:58 4.4K 
[ ]agda_2.5.3-5build2_all.deb2018-07-04 19:13 3.0K 
[ ]agda_2.5.3-5build3.debian.tar.xz2018-07-05 07:48 9.9K 
[ ]agda_2.5.3-5build3.dsc2018-07-05 07:48 4.4K 
[ ]agda_2.5.3-5build3_all.deb2018-07-05 08:58 3.0K 
[ ]agda_2.5.3.orig.tar.gz2017-11-01 13:05 1.1M 
[ ]agda_2.5.4.1-3.debian.tar.xz2018-12-14 10:18 9.7K 
[ ]agda_2.5.4.1-3.dsc2018-12-14 10:18 3.8K 
[ ]agda_2.5.4.1-3_all.deb2018-12-14 10:58 4.0K 
[ ]agda_2.5.4.1-3build1.debian.tar.xz2019-08-08 13:03 9.7K 
[ ]agda_2.5.4.1-3build1.dsc2019-08-08 13:03 3.8K 
[ ]agda_2.5.4.1.orig.tar.gz2018-12-14 10:18 1.9M 
[ ]agda_2.6.0.1-1.debian.tar.xz2019-09-01 12:43 9.8K 
[ ]agda_2.6.0.1-1.dsc2019-09-01 12:43 4.1K 
[ ]agda_2.6.0.1-1_all.deb2019-09-01 12:53 4.0K 
[ ]agda_2.6.0.1-1build1.debian.tar.xz2019-09-01 18:13 9.8K 
[ ]agda_2.6.0.1-1build1.dsc2019-09-01 18:13 4.1K 
[ ]agda_2.6.0.1-1build1_all.deb2019-09-01 19:14 4.0K 
[ ]agda_2.6.0.1-1build2.debian.tar.xz2019-09-03 05:53 9.9K 
[ ]agda_2.6.0.1-1build2.dsc2019-09-03 05:53 4.2K 
[ ]agda_2.6.0.1-1build2_all.deb2019-09-03 06:23 4.0K 
[ ]agda_2.6.0.1-1build3.debian.tar.xz2020-01-13 08:38 9.9K 
[ ]agda_2.6.0.1-1build3.dsc2020-01-13 08:38 4.2K 
[ ]agda_2.6.0.1-1build3_all.deb2020-01-13 09:03 4.0K 
[ ]agda_2.6.0.1-1build4.debian.tar.xz2020-02-08 11:38 10K 
[ ]agda_2.6.0.1-1build4.dsc2020-02-08 11:38 4.2K 
[ ]agda_2.6.0.1-1build4_all.deb2020-02-08 13:19 4.0K 
[ ]agda_2.6.0.1-1build5.debian.tar.xz2020-07-01 19:04 10K 
[ ]agda_2.6.0.1-1build5.dsc2020-07-01 19:04 4.2K 
[ ]agda_2.6.0.1.orig.tar.gz2019-09-01 12:43 2.3M 
[ ]agda_2.6.1-0ubuntu1.debian.tar.xz2020-07-07 04:04 9.9K 
[ ]agda_2.6.1-0ubuntu1.dsc2020-07-07 04:04 4.2K 
[ ]agda_2.6.1-0ubuntu1_all.deb2020-07-07 05:04 4.0K 
[ ]agda_2.6.1-1.debian.tar.xz2020-07-29 23:19 9.8K 
[ ]agda_2.6.1-1.dsc2020-07-29 23:19 4.1K 
[ ]agda_2.6.1-1_all.deb2020-07-30 16:28 4.1K 
[ ]agda_2.6.1-1build1.debian.tar.xz2020-08-27 00:08 9.9K 
[ ]agda_2.6.1-1build1.dsc2020-08-27 00:08 4.2K 
[ ]agda_2.6.1-1build1_all.deb2020-08-27 00:48 4.1K 
[ ]agda_2.6.1-1build2.1.debian.tar.xz2021-09-16 07:39 10K 
[ ]agda_2.6.1-1build2.1.dsc2021-09-16 07:39 4.2K 
[ ]agda_2.6.1-1build2.1_all.deb2021-09-16 08:28 4.0K 
[ ]agda_2.6.1-1build2.debian.tar.xz2020-10-29 20:24 9.9K 
[ ]agda_2.6.1-1build2.dsc2020-10-29 20:24 4.2K 
[ ]agda_2.6.1-1build2_all.deb2020-11-05 02:43 4.1K 
[ ]agda_2.6.1.orig.tar.gz2020-07-29 23:19 2.5M 
[ ]agda_2.6.2.2-1.1.debian.tar.xz2022-12-07 00:03 10K 
[ ]agda_2.6.2.2-1.1.dsc2022-12-07 00:03 4.3K 
[ ]agda_2.6.2.2-1.1_all.deb2022-12-12 07:44 3.5K 
[ ]agda_2.6.2.2-1.1build1.debian.tar.xz2022-12-12 10:29 10K 
[ ]agda_2.6.2.2-1.1build1.dsc2022-12-12 10:29 4.3K 
[ ]agda_2.6.2.2-1.1build1_all.deb2022-12-12 10:59 3.6K 
[ ]agda_2.6.2.2-1.debian.tar.xz2022-08-06 23:19 10K 
[ ]agda_2.6.2.2-1.dsc2022-08-06 23:19 4.3K 
[ ]agda_2.6.2.2-1_all.deb2022-08-26 16:14 4.0K 
[ ]agda_2.6.2.2.orig.tar.gz2022-08-06 23:19 1.6M 
[ ]agda_2.6.3-1.debian.tar.xz2023-10-26 15:43 11K 
[ ]agda_2.6.3-1.dsc2023-10-26 15:43 4.8K 
[ ]agda_2.6.3-1build1.debian.tar.xz2023-11-08 09:36 11K 
[ ]agda_2.6.3-1build1.dsc2023-11-08 09:36 4.8K 
[ ]agda_2.6.3-1build1_all.deb2023-11-10 20:19 3.7K 
[ ]agda_2.6.3-1build2.debian.tar.xz2024-05-15 11:33 11K 
[ ]agda_2.6.3-1build2.dsc2024-05-15 11:33 4.8K 
[ ]agda_2.6.3-1build2_all.deb2024-05-15 22:20 3.7K 
[ ]agda_2.6.3-2.debian.tar.xz2024-09-07 06:18 11K 
[ ]agda_2.6.3-2.dsc2024-09-07 06:18 4.8K 
[ ]agda_2.6.3-2_all.deb2024-09-07 06:18 3.6K 
[ ]agda_2.6.3.orig.tar.gz2023-10-26 15:43 1.7M 
[ ]agda_2.6.4.3-1.debian.tar.xz2024-10-25 19:11 10K 
[ ]agda_2.6.4.3-1.dsc2024-10-25 19:11 5.1K 
[ ]agda_2.6.4.3-1_all.deb2024-10-25 21:15 3.6K 
[ ]agda_2.6.4.3.orig.tar.gz2024-10-25 19:11 1.8M 
[ ]elpa-agda2-mode_2.5.1-1_all.deb2016-06-17 15:24 39K 
[ ]elpa-agda2-mode_2.5.1-2_all.deb2016-06-21 01:01 39K 
[ ]elpa-agda2-mode_2.5.1-2build1_all.deb2016-07-15 07:40 39K 
[ ]elpa-agda2-mode_2.5.1-2build2_all.deb2016-08-09 14:04 39K 
[ ]elpa-agda2-mode_2.5.1-2build3_all.deb2016-10-22 05:49 39K 
[ ]elpa-agda2-mode_2.5.1.1-3_all.deb2016-11-13 14:08 39K 
[ ]elpa-agda2-mode_2.5.1.1-3build3_all.deb2017-01-27 08:03 39K 
[ ]elpa-agda2-mode_2.5.1.1-4_all.deb2017-06-21 16:18 39K 
[ ]elpa-agda2-mode_2.5.1.1-4build1_all.deb2017-06-21 17:24 39K 
[ ]elpa-agda2-mode_2.5.2-2_all.deb2017-07-10 23:51 40K 
[ ]elpa-agda2-mode_2.5.2-2build1_all.deb2017-07-15 12:08 40K 
[ ]elpa-agda2-mode_2.5.2-2~build1_all.deb2017-07-10 11:58 40K 
[ ]elpa-agda2-mode_2.5.3-3_all.deb2017-11-05 21:38 40K 
[ ]elpa-agda2-mode_2.5.3-3build1_all.deb2017-11-25 20:09 40K 
[ ]elpa-agda2-mode_2.5.3-5_all.deb2018-05-20 13:00 40K 
[ ]elpa-agda2-mode_2.5.3-5build1_all.deb2018-07-04 10:38 40K 
[ ]elpa-agda2-mode_2.5.3-5build2_all.deb2018-07-04 19:13 40K 
[ ]elpa-agda2-mode_2.5.3-5build3_all.deb2018-07-05 08:58 40K 
[ ]elpa-agda2-mode_2.5.4.1-3_all.deb2018-12-14 10:58 40K 
[ ]elpa-agda2-mode_2.6.0.1-1_all.deb2019-09-01 12:53 41K 
[ ]elpa-agda2-mode_2.6.0.1-1build1_all.deb2019-09-01 19:14 41K 
[ ]elpa-agda2-mode_2.6.0.1-1build2_all.deb2019-09-03 06:23 41K 
[ ]elpa-agda2-mode_2.6.0.1-1build3_all.deb2020-01-13 09:03 40K 
[ ]elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-02-08 13:19 40K 
[ ]elpa-agda2-mode_2.6.1-0ubuntu1_all.deb2020-07-07 05:04 41K 
[ ]elpa-agda2-mode_2.6.1-1_all.deb2020-07-30 16:28 41K 
[ ]elpa-agda2-mode_2.6.1-1build1_all.deb2020-08-27 00:48 41K 
[ ]elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-09-16 08:28 45K 
[ ]elpa-agda2-mode_2.6.1-1build2_all.deb2020-11-05 02:43 41K 
[ ]elpa-agda2-mode_2.6.2.2-1.1_all.deb2022-12-12 07:44 44K 
[ ]elpa-agda2-mode_2.6.2.2-1.1build1_all.deb2022-12-12 10:59 44K 
[ ]elpa-agda2-mode_2.6.2.2-1_all.deb2022-08-26 16:14 45K 
[ ]elpa-agda2-mode_2.6.3-1build1_all.deb2023-11-10 20:19 45K 
[ ]elpa-agda2-mode_2.6.3-1build2_all.deb2024-05-15 22:20 45K 
[ ]elpa-agda2-mode_2.6.3-2_all.deb2024-09-07 06:18 45K 
[ ]elpa-agda2-mode_2.6.4.3-1_all.deb2024-10-25 21:15 45K 
[ ]haskell-agda-doc_2.2.4+dfsg-1_all.deb2009-08-24 13:05 948K 
[ ]haskell-agda-doc_2.2.6-3_all.deb2010-03-04 15:05 1.0M 
[ ]libghc-agda-dev_2.2.10-1_amd64.deb2011-05-30 08:04 10M 
[ ]libghc-agda-dev_2.2.10-1_i386.deb2011-05-30 08:05 9.7M 
[ ]libghc-agda-dev_2.2.10-2build1_amd64.deb2011-06-09 09:04 10M 
[ ]libghc-agda-dev_2.2.10-2build1_i386.deb2011-06-09 09:05 9.7M 
[ ]libghc-agda-dev_2.2.10-3_amd64.deb2011-06-18 00:05 10M 
[ ]libghc-agda-dev_2.2.10-3_i386.deb2011-06-18 00:05 9.7M 
[ ]libghc-agda-dev_2.2.10-3build1_amd64.deb2011-07-09 22:06 10M 
[ ]libghc-agda-dev_2.2.10-3build1_i386.deb2011-07-09 22:06 9.7M 
[ ]libghc-agda-dev_2.2.10-4_amd64.deb2011-10-17 10:07 10M 
[ ]libghc-agda-dev_2.2.10-4_i386.deb2011-10-17 10:08 9.7M 
[ ]libghc-agda-dev_2.2.10-4build1_amd64.deb2011-11-14 10:20 10M 
[ ]libghc-agda-dev_2.2.10-4build1_i386.deb2011-11-14 10:21 9.7M 
[ ]libghc-agda-dev_2.3.0-1_amd64.deb2011-11-29 18:04 12M 
[ ]libghc-agda-dev_2.3.0-1_i386.deb2011-11-29 18:05 11M 
[ ]libghc-agda-dev_2.3.0-1build1_amd64.deb2012-01-04 01:04 12M 
[ ]libghc-agda-dev_2.3.0-1build1_i386.deb2012-01-04 01:05 11M 
[ ]libghc-agda-dev_2.3.0-1build2_amd64.deb2012-01-23 10:33 12M 
[ ]libghc-agda-dev_2.3.0-1build2_i386.deb2012-01-23 10:33 11M 
[ ]libghc-agda-dev_2.3.0.1-1_amd64.deb2012-03-18 12:33 12M 
[ ]libghc-agda-dev_2.3.0.1-1_i386.deb2012-03-18 12:34 12M 
[ ]libghc-agda-dev_2.3.0.1-1build1_amd64.deb2012-04-11 00:34 12M 
[ ]libghc-agda-dev_2.3.0.1-1build1_i386.deb2012-04-11 06:05 12M 
[ ]libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-04-21 17:03 12M 
[ ]libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-04-21 17:03 12M 
[ ]libghc-agda-dev_2.3.0.1-2build1_amd64.deb2012-08-27 13:03 13M 
[ ]libghc-agda-dev_2.3.0.1-2build1_i386.deb2012-08-27 12:33 12M 
[ ]libghc-agda-dev_2.3.2-1_amd64.deb2013-04-10 18:03 13M 
[ ]libghc-agda-dev_2.3.2-1_i386.deb2013-04-10 18:03 12M 
[ ]libghc-agda-dev_2.3.2-1build1_amd64.deb2013-05-03 07:33 13M 
[ ]libghc-agda-dev_2.3.2-1build1_i386.deb2013-05-03 07:33 12M 
[ ]libghc-agda-dev_2.3.2-1build2_amd64.deb2013-05-27 15:33 13M 
[ ]libghc-agda-dev_2.3.2-1build2_i386.deb2013-05-27 15:33 12M 
[ ]libghc-agda-dev_2.3.2-2_amd64.deb2013-05-27 23:33 13M 
[ ]libghc-agda-dev_2.3.2-2_i386.deb2013-05-27 23:34 12M 
[ ]libghc-agda-dev_2.3.2-3_amd64.deb2013-05-30 13:03 13M 
[ ]libghc-agda-dev_2.3.2-3_i386.deb2013-05-30 12:06 12M 
[ ]libghc-agda-dev_2.3.2-4_amd64.deb2013-06-12 17:33 13M 
[ ]libghc-agda-dev_2.3.2-4_i386.deb2013-06-12 17:33 12M 
[ ]libghc-agda-dev_2.3.2.1-1_amd64.deb2013-06-17 00:03 13M 
[ ]libghc-agda-dev_2.3.2.1-1_i386.deb2013-06-17 00:03 12M 
[ ]libghc-agda-dev_2.3.2.1-2_amd64.deb2013-10-21 16:10 13M 
[ ]libghc-agda-dev_2.3.2.1-2_i386.deb2013-10-21 17:02 12M 
[ ]libghc-agda-dev_2.3.2.1-2build1_amd64.deb2013-10-28 06:48 13M 
[ ]libghc-agda-dev_2.3.2.1-2build1_i386.deb2013-10-28 07:08 12M 
[ ]libghc-agda-dev_2.3.2.2-1_amd64.deb2013-11-06 17:28 13M 
[ ]libghc-agda-dev_2.3.2.2-1_i386.deb2013-11-06 17:28 12M 
[ ]libghc-agda-dev_2.4.0.2-2_amd64.deb2014-08-11 16:53 9.3M 
[ ]libghc-agda-dev_2.4.0.2-2_i386.deb2014-08-11 16:53 9.2M 
[ ]libghc-agda-dev_2.4.0.2-2build1_amd64.deb2014-10-29 18:00 9.3M 
[ ]libghc-agda-dev_2.4.0.2-2build1_i386.deb2014-10-29 18:01 9.2M 
[ ]libghc-agda-dev_2.4.2.2-2_amd64.deb2015-06-05 09:33 10M 
[ ]libghc-agda-dev_2.4.2.2-2_i386.deb2015-06-05 09:33 10M 
[ ]libghc-agda-dev_2.4.2.2-3_amd64.deb2015-07-03 15:33 10M 
[ ]libghc-agda-dev_2.4.2.2-3_i386.deb2015-07-03 15:23 10M 
[ ]libghc-agda-dev_2.4.2.2-4_amd64.deb2015-08-04 15:44 10M 
[ ]libghc-agda-dev_2.4.2.2-4_i386.deb2015-08-04 15:33 10M 
[ ]libghc-agda-dev_2.4.2.2-4build1_amd64.deb2015-08-16 09:23 10M 
[ ]libghc-agda-dev_2.4.2.2-4build1_i386.deb2015-08-16 09:08 10M 
[ ]libghc-agda-dev_2.4.2.5-1_amd64.deb2016-01-04 23:45 10M 
[ ]libghc-agda-dev_2.4.2.5-1_i386.deb2016-01-04 23:45 10M 
[ ]libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-01-12 22:59 10M 
[ ]libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-01-12 22:45 10M 
[ ]libghc-agda-dev_2.5.1-1_amd64.deb2016-06-17 15:24 12M 
[ ]libghc-agda-dev_2.5.1-1_i386.deb2016-06-17 14:06 11M 
[ ]libghc-agda-dev_2.5.1-2_amd64.deb2016-06-21 01:01 12M 
[ ]libghc-agda-dev_2.5.1-2_i386.deb2016-06-20 23:42 11M 
[ ]libghc-agda-dev_2.5.1-2build1_amd64.deb2016-07-15 07:40 12M 
[ ]libghc-agda-dev_2.5.1-2build1_i386.deb2016-07-15 07:40 11M 
[ ]libghc-agda-dev_2.5.1-2build2_amd64.deb2016-08-09 14:04 12M 
[ ]libghc-agda-dev_2.5.1-2build2_i386.deb2016-08-09 13:25 11M 
[ ]libghc-agda-dev_2.5.1-2build3_amd64.deb2016-10-22 05:49 11M 
[ ]libghc-agda-dev_2.5.1-2build3_i386.deb2016-10-22 05:49 11M 
[ ]libghc-agda-dev_2.5.1.1-3_amd64.deb2016-11-13 14:08 12M 
[ ]libghc-agda-dev_2.5.1.1-3_i386.deb2016-11-13 13:32 12M 
[ ]libghc-agda-dev_2.5.1.1-3build3_amd64.deb2017-01-27 08:03 12M 
[ ]libghc-agda-dev_2.5.1.1-3build3_i386.deb2017-01-27 07:29 12M 
[ ]libghc-agda-dev_2.5.1.1-4_amd64.deb2017-06-21 16:18 12M 
[ ]libghc-agda-dev_2.5.1.1-4_i386.deb2017-06-21 15:54 12M 
[ ]libghc-agda-dev_2.5.1.1-4build1_amd64.deb2017-06-21 17:24 12M 
[ ]libghc-agda-dev_2.5.1.1-4build1_i386.deb2017-06-21 17:25 12M 
[ ]libghc-agda-dev_2.5.2-2_amd64.deb2017-07-10 23:51 13M 
[ ]libghc-agda-dev_2.5.2-2_i386.deb2017-07-10 23:39 13M 
[ ]libghc-agda-dev_2.5.2-2build1_amd64.deb2017-07-15 12:08 13M 
[ ]libghc-agda-dev_2.5.2-2build1_i386.deb2017-07-15 12:08 13M 
[ ]libghc-agda-dev_2.5.2-2~build1_amd64.deb2017-07-10 11:58 13M 
[ ]libghc-agda-dev_2.5.2-2~build1_i386.deb2017-07-10 11:33 13M 
[ ]libghc-agda-dev_2.5.3-3_amd64.deb2017-11-05 21:38 15M 
[ ]libghc-agda-dev_2.5.3-3_i386.deb2017-11-05 21:38 15M 
[ ]libghc-agda-dev_2.5.3-3build1_amd64.deb2017-11-25 20:09 15M 
[ ]libghc-agda-dev_2.5.3-3build1_i386.deb2017-11-25 20:09 15M 
[ ]libghc-agda-dev_2.5.3-5_amd64.deb2018-05-20 13:00 15M 
[ ]libghc-agda-dev_2.5.3-5_i386.deb2018-05-20 13:00 15M 
[ ]libghc-agda-dev_2.5.3-5build1_amd64.deb2018-07-04 10:38 15M 
[ ]libghc-agda-dev_2.5.3-5build1_i386.deb2018-07-04 10:33 15M 
[ ]libghc-agda-dev_2.5.3-5build2_amd64.deb2018-07-04 19:13 15M 
[ ]libghc-agda-dev_2.5.3-5build2_i386.deb2018-07-04 19:23 15M 
[ ]libghc-agda-dev_2.5.3-5build3_amd64.deb2018-07-05 08:58 15M 
[ ]libghc-agda-dev_2.5.3-5build3_i386.deb2018-07-05 08:48 15M 
[ ]libghc-agda-dev_2.5.4.1-3_amd64.deb2018-12-14 10:58 16M 
[ ]libghc-agda-dev_2.5.4.1-3_i386.deb2018-12-14 10:38 16M 
[ ]libghc-agda-dev_2.6.0.1-1_amd64.deb2019-09-01 12:53 19M 
[ ]libghc-agda-dev_2.6.0.1-1_i386.deb2019-09-01 12:43 18M 
[ ]libghc-agda-dev_2.6.0.1-1build1_amd64.deb2019-09-01 19:14 19M 
[ ]libghc-agda-dev_2.6.0.1-1build1_i386.deb2019-09-01 19:14 18M 
[ ]libghc-agda-dev_2.6.0.1-1build2_amd64.deb2019-09-03 06:23 19M 
[ ]libghc-agda-dev_2.6.0.1-1build2_i386.deb2019-09-03 06:23 18M 
[ ]libghc-agda-dev_2.6.0.1-1build3_amd64.deb2020-01-13 09:03 19M 
[ ]libghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-02-08 13:19 19M 
[ ]libghc-agda-dev_2.6.1-0ubuntu1_amd64.deb2020-07-07 05:04 36M 
[ ]libghc-agda-dev_2.6.1-1_amd64.deb2020-07-30 16:28 36M 
[ ]libghc-agda-dev_2.6.1-1build1_amd64.deb2020-08-27 00:48 36M 
[ ]libghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-09-16 08:28 38M 
[ ]libghc-agda-dev_2.6.1-1build2_amd64.deb2020-11-05 02:43 36M 
[ ]libghc-agda-dev_2.6.2.2-1.1_amd64.deb2022-12-12 07:44 25M 
[ ]libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb2022-12-12 10:59 25M 
[ ]libghc-agda-dev_2.6.2.2-1_amd64.deb2022-08-26 16:14 25M 
[ ]libghc-agda-dev_2.6.3-1build1_amd64.deb2023-11-10 20:19 24M 
[ ]libghc-agda-dev_2.6.3-1build2_amd64.deb2024-05-15 22:20 24M 
[ ]libghc-agda-dev_2.6.3-2_amd64.deb2024-09-07 06:18 24M 
[ ]libghc-agda-dev_2.6.4.3-1_amd64.deb2024-10-25 21:15 23M 
[ ]libghc-agda-doc_2.2.10-1_all.deb2011-05-30 08:04 1.4M 
[ ]libghc-agda-doc_2.2.10-2build1_all.deb2011-06-09 09:04 1.4M 
[ ]libghc-agda-doc_2.2.10-3_all.deb2011-06-18 00:05 1.4M 
[ ]libghc-agda-doc_2.2.10-3build1_all.deb2011-07-09 22:06 1.4M 
[ ]libghc-agda-doc_2.2.10-4_all.deb2011-10-17 10:07 1.4M 
[ ]libghc-agda-doc_2.2.10-4build1_all.deb2011-11-14 10:20 1.4M 
[ ]libghc-agda-doc_2.3.0-1_all.deb2011-11-29 18:04 1.6M 
[ ]libghc-agda-doc_2.3.0-1build1_all.deb2012-01-04 01:04 1.6M 
[ ]libghc-agda-doc_2.3.0-1build2_all.deb2012-01-23 10:33 1.6M 
[ ]libghc-agda-doc_2.3.0.1-1_all.deb2012-03-18 12:33 1.6M 
[ ]libghc-agda-doc_2.3.0.1-1build1_all.deb2012-04-11 06:04 1.6M 
[ ]libghc-agda-doc_2.3.0.1-1build2_all.deb2012-04-21 17:03 1.6M 
[ ]libghc-agda-doc_2.3.0.1-2build1_all.deb2012-08-27 12:33 1.7M 
[ ]libghc-agda-doc_2.3.2-1_all.deb2013-04-10 18:03 2.1M 
[ ]libghc-agda-doc_2.3.2-1build1_all.deb2013-05-03 07:33 2.1M 
[ ]libghc-agda-doc_2.3.2-1build2_all.deb2013-05-27 15:33 2.1M 
[ ]libghc-agda-doc_2.3.2-2_all.deb2013-05-27 23:33 2.1M 
[ ]libghc-agda-doc_2.3.2-3_all.deb2013-05-30 12:05 2.1M 
[ ]libghc-agda-doc_2.3.2-4_all.deb2013-06-12 17:33 2.1M 
[ ]libghc-agda-doc_2.3.2.1-1_all.deb2013-06-17 00:03 2.1M 
[ ]libghc-agda-doc_2.3.2.1-2_all.deb2013-10-21 16:59 2.1M 
[ ]libghc-agda-doc_2.3.2.1-2build1_all.deb2013-10-28 07:08 2.1M 
[ ]libghc-agda-doc_2.3.2.2-1_all.deb2013-11-06 17:28 2.1M 
[ ]libghc-agda-doc_2.4.0.2-2_all.deb2014-08-11 16:53 1.8M 
[ ]libghc-agda-doc_2.4.0.2-2build1_all.deb2014-10-29 18:00 1.8M 
[ ]libghc-agda-doc_2.4.2.2-2_all.deb2015-06-05 09:33 1.9M 
[ ]libghc-agda-doc_2.4.2.2-3_all.deb2015-07-03 15:33 1.9M 
[ ]libghc-agda-doc_2.4.2.2-4_all.deb2015-08-04 15:44 1.9M 
[ ]libghc-agda-doc_2.4.2.2-4build1_all.deb2015-08-16 09:23 1.9M 
[ ]libghc-agda-doc_2.4.2.5-1_all.deb2016-01-04 23:45 2.1M 
[ ]libghc-agda-doc_2.4.2.5-1build1_all.deb2016-01-12 22:59 2.1M 
[ ]libghc-agda-doc_2.5.1-1_all.deb2016-06-17 15:24 2.3M 
[ ]libghc-agda-doc_2.5.1-2_all.deb2016-06-21 01:01 2.3M 
[ ]libghc-agda-doc_2.5.1-2build1_all.deb2016-07-15 07:40 2.3M 
[ ]libghc-agda-doc_2.5.1-2build2_all.deb2016-08-09 14:04 2.3M 
[ ]libghc-agda-doc_2.5.1-2build3_all.deb2016-10-22 05:49 2.3M 
[ ]libghc-agda-doc_2.5.1.1-3_all.deb2016-11-13 14:08 2.4M 
[ ]libghc-agda-doc_2.5.1.1-3build3_all.deb2017-01-27 08:03 2.4M 
[ ]libghc-agda-doc_2.5.1.1-4_all.deb2017-06-21 16:18 2.4M 
[ ]libghc-agda-doc_2.5.1.1-4build1_all.deb2017-06-21 17:24 2.4M 
[ ]libghc-agda-doc_2.5.2-2_all.deb2017-07-10 23:51 2.5M 
[ ]libghc-agda-doc_2.5.2-2build1_all.deb2017-07-15 12:08 2.5M 
[ ]libghc-agda-doc_2.5.2-2~build1_all.deb2017-07-10 11:58 2.5M 
[ ]libghc-agda-doc_2.5.3-3_all.deb2017-11-05 21:38 2.6M 
[ ]libghc-agda-doc_2.5.3-3build1_all.deb2017-11-25 20:09 2.6M 
[ ]libghc-agda-doc_2.5.3-5_all.deb2018-05-20 13:00 2.5M 
[ ]libghc-agda-doc_2.5.3-5build1_all.deb2018-07-04 10:38 2.5M 
[ ]libghc-agda-doc_2.5.3-5build2_all.deb2018-07-04 19:13 2.5M 
[ ]libghc-agda-doc_2.5.3-5build3_all.deb2018-07-05 08:58 2.5M 
[ ]libghc-agda-doc_2.5.4.1-3_all.deb2018-12-14 10:58 3.5M 
[ ]libghc-agda-doc_2.6.0.1-1_all.deb2019-09-01 12:53 4.0M 
[ ]libghc-agda-doc_2.6.0.1-1build1_all.deb2019-09-01 19:14 4.0M 
[ ]libghc-agda-doc_2.6.0.1-1build2_all.deb2019-09-03 06:23 4.0M 
[ ]libghc-agda-doc_2.6.0.1-1build3_all.deb2020-01-13 09:03 4.0M 
[ ]libghc-agda-doc_2.6.0.1-1build4_all.deb2020-02-08 13:19 4.0M 
[ ]libghc-agda-doc_2.6.1-0ubuntu1_all.deb2020-07-07 05:04 5.5M 
[ ]libghc-agda-doc_2.6.1-1_all.deb2020-07-30 16:28 5.5M 
[ ]libghc-agda-doc_2.6.1-1build1_all.deb2020-08-27 00:48 5.5M 
[ ]libghc-agda-doc_2.6.1-1build2.1_all.deb2021-09-16 08:28 5.2M 
[ ]libghc-agda-doc_2.6.1-1build2_all.deb2020-11-05 02:43 5.5M 
[ ]libghc-agda-doc_2.6.2.2-1.1_all.deb2022-12-12 07:44 5.7M 
[ ]libghc-agda-doc_2.6.2.2-1.1build1_all.deb2022-12-12 10:59 5.7M 
[ ]libghc-agda-doc_2.6.2.2-1_all.deb2022-08-26 16:14 5.7M 
[ ]libghc-agda-doc_2.6.3-1build1_all.deb2023-11-10 20:19 6.0M 
[ ]libghc-agda-doc_2.6.3-1build2_all.deb2024-05-15 22:20 6.0M 
[ ]libghc-agda-doc_2.6.3-2_all.deb2024-09-07 06:18 5.9M 
[ ]libghc-agda-doc_2.6.4.3-1_all.deb2024-10-25 21:15 6.4M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb2009-08-24 13:05 8.3M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_i386.deb2009-08-24 13:05 7.9M 
[ ]libghc6-agda-dev_2.2.6-3_amd64.deb2010-03-04 15:05 9.6M 
[ ]libghc6-agda-dev_2.2.6-3_i386.deb2010-03-04 15:06 9.1M 
[ ]libghc6-agda-dev_2.2.6-7build1_amd64.deb2010-05-26 12:05 9.6M 
[ ]libghc6-agda-dev_2.2.6-7build1_i386.deb2010-05-26 09:05 9.1M 
[ ]libghc6-agda-dev_2.2.6-7build2_amd64.deb2011-02-12 18:04 9.5M 
[ ]libghc6-agda-dev_2.2.6-7build2_i386.deb2011-02-12 17:05 9.0M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb2011-02-24 22:05 11M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb2011-02-24 19:06 10M 
[ ]libghc6-agda-doc_2.2.6-7build1_all.deb2010-05-26 09:04 1.0M 
[ ]libghc6-agda-doc_2.2.6-7build2_all.deb2011-02-12 17:04 1.0M 
[ ]libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb2011-02-24 19:05 1.2M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb2009-08-24 13:05 13M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_i386.deb2009-08-24 13:05 12M 
[ ]libghc6-agda-prof_2.2.6-3_amd64.deb2010-03-04 15:05 14M 
[ ]libghc6-agda-prof_2.2.6-3_i386.deb2010-03-04 15:06 13M 
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080