Index of /pub/ubuntu-archive/ubuntu/pool/universe/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-bin_2.3.2-1_amd64.deb2013-04-10 14:03 5.1M 
[ ]agda-bin_2.3.2-1_armhf.deb2013-04-10 16:03 7.1M 
[ ]agda-bin_2.3.2-1_i386.deb2013-04-10 14:03 4.7M 
[ ]agda-bin_2.3.2-1_powerpc.deb2013-04-10 14:03 5.0M 
[ ]agda-bin_2.3.2.1-1_amd64.deb2013-06-16 20:03 5.1M 
[ ]agda-bin_2.3.2.1-1_i386.deb2013-06-16 20:03 4.7M 
[ ]agda-bin_2.3.2.1-1_powerpc.deb2013-06-16 20:03 5.0M 
[ ]agda-bin_2.4.0.2-2_amd64.deb2014-08-11 12:53 3.7M 
[ ]agda-bin_2.4.0.2-2_i386.deb2014-08-11 12:53 3.6M 
[ ]agda-bin_2.4.0.2-2_powerpc.deb2014-08-11 13:22 3.3M 
[ ]agda-bin_2.4.0.2-2build1_amd64.deb2014-10-29 14:00 3.7M 
[ ]agda-bin_2.4.0.2-2build1_i386.deb2014-10-29 14:01 3.6M 
[ ]agda-bin_2.4.0.2-2build1_powerpc.deb2014-10-29 14:50 3.4M 
[ ]agda-bin_2.4.2.2-4build1_amd64.deb2015-08-16 05:23 4.3M 
[ ]agda-bin_2.4.2.2-4build1_arm64.deb2015-08-16 06:43 7.0M 
[ ]agda-bin_2.4.2.2-4build1_i386.deb2015-08-16 05:08 4.3M 
[ ]agda-bin_2.4.2.2-4build1_powerpc.deb2015-08-16 05:08 3.8M 
[ ]agda-bin_2.4.2.2-4build1_ppc64el.deb2015-08-16 05:44 5.9M 
[ ]agda-bin_2.5.1-2build2_amd64.deb2018-05-15 02:14 4.7M 
[ ]agda-bin_2.5.1-2build2_arm64.deb2018-06-13 00:19 7.7M 
[ ]agda-bin_2.5.1-2build2_armhf.deb2018-06-13 01:10 6.1M 
[ ]agda-bin_2.5.1-2build2_i386.deb2018-06-13 01:56 4.7M 
[ ]agda-bin_2.5.1-2build2_powerpc.deb2018-06-13 02:40 4.2M 
[ ]agda-bin_2.5.1-2build2_ppc64el.deb2018-06-13 03:48 6.5M 
[ ]agda-bin_2.5.1-2build2_s390x.deb2018-06-13 04:44 12M 
[ ]agda-bin_2.5.1.1-3build3_amd64.deb2017-01-27 03:03 4.8M 
[ ]agda-bin_2.5.1.1-3build3_arm64.deb2017-01-27 04:23 8.0M 
[ ]agda-bin_2.5.1.1-3build3_armhf.deb2017-01-27 04:33 6.4M 
[ ]agda-bin_2.5.1.1-3build3_i386.deb2017-01-27 02:29 4.8M 
[ ]agda-bin_2.5.1.1-3build3_ppc64el.deb2017-01-27 03:05 6.0M 
[ ]agda-bin_2.5.1.1-3build3_s390x.deb2017-01-27 03:05 12M 
[ ]agda-bin_2.5.2-2build1_amd64.deb2017-07-15 08:08 4.8M 
[ ]agda-bin_2.5.2-2build1_arm64.deb2017-07-15 09:48 7.7M 
[ ]agda-bin_2.5.2-2build1_armhf.deb2017-07-15 10:24 6.3M 
[ ]agda-bin_2.5.2-2build1_i386.deb2017-07-15 08:08 4.8M 
[ ]agda-bin_2.5.2-2build1_ppc64el.deb2017-07-15 08:08 5.7M 
[ ]agda-bin_2.5.2-2build1_s390x.deb2017-07-15 08:08 11M 
[ ]agda-bin_2.5.3-5build3_amd64.deb2018-07-05 04:58 5.5M 
[ ]agda-bin_2.5.3-5build3_arm64.deb2018-07-05 06:43 6.2M 
[ ]agda-bin_2.5.3-5build3_armhf.deb2018-07-05 08:03 6.0M 
[ ]agda-bin_2.5.3-5build3_i386.deb2018-07-05 04:48 5.6M 
[ ]agda-bin_2.5.3-5build3_ppc64el.deb2018-07-05 04:58 7.4M 
[ ]agda-bin_2.5.3-5build3_s390x.deb2018-07-05 05:23 13M 
[ ]agda-bin_2.5.4.1-3_amd64.deb2018-12-14 05:58 5.5M 
[ ]agda-bin_2.5.4.1-3_arm64.deb2018-12-14 07:44 6.4M 
[ ]agda-bin_2.5.4.1-3_i386.deb2018-12-14 05:38 5.6M 
[ ]agda-bin_2.5.4.1-3_ppc64el.deb2018-12-14 05:53 7.5M 
[ ]agda-bin_2.5.4.1-3_s390x.deb2018-12-14 06:03 12M 
[ ]agda-mode_2.2.4+dfsg-1_all.deb2009-08-24 09:05 36K 
[ ]agda-mode_2.2.6-3_all.deb2010-03-04 10:05 38K 
[ ]agda-mode_2.2.6-7build1_all.deb2010-05-26 05:04 39K 
[ ]agda-mode_2.2.10-1~ubuntu1_all.deb2011-02-24 14:05 39K 
[ ]agda-mode_2.2.10-3build1_all.deb2011-07-09 18:06 39K 
[ ]agda-mode_2.3.0.1-1build2_all.deb2012-04-21 13:03 40K 
[ ]agda-mode_2.3.0.1-2build1_all.deb2012-08-27 08:33 44K 
[ ]agda-mode_2.3.2-1_all.deb2013-04-10 14:03 44K 
[ ]agda-mode_2.3.2.1-1_all.deb2013-06-16 20:03 44K 
[ ]agda-mode_2.4.0.2-2_all.deb2014-08-11 12:53 39K 
[ ]agda-mode_2.4.0.2-2build1_all.deb2014-10-29 14:00 39K 
[ ]agda-mode_2.4.2.2-4build1_all.deb2015-08-16 05:23 35K 
[ ]agda-mode_2.5.1-2build2_all.deb2018-05-15 02:14 4.2K 
[ ]agda-mode_2.5.1.1-3build3_all.deb2017-01-27 03:03 4.0K 
[ ]agda-mode_2.5.2-2build1_all.deb2017-07-15 08:08 4.0K 
[ ]agda-mode_2.5.3-5build3_all.deb2018-07-05 04:58 3.5K 
[ ]agda-mode_2.5.4.1-3_all.deb2018-12-14 05:58 3.6K 
[ ]agda_2.2.4+dfsg-1.diff.gz2009-08-24 07:04 4.0K 
[TXT]agda_2.2.4+dfsg-1.dsc2009-08-24 07:04 3.0K 
[ ]agda_2.2.4+dfsg.orig.tar.gz2009-08-24 07:04 369K 
[ ]agda_2.2.6-3.diff.gz2010-03-04 10:05 5.2K 
[TXT]agda_2.2.6-3.dsc2010-03-04 10:05 2.7K 
[ ]agda_2.2.6-7build1.debian.tar.gz2010-05-26 05:04 5.2K 
[TXT]agda_2.2.6-7build1.dsc2010-05-26 05:04 2.3K 
[ ]agda_2.2.6.orig.tar.gz2010-02-02 17:04 414K 
[ ]agda_2.2.10-1~ubuntu1.debian.tar.gz2011-02-24 14:05 8.2K 
[TXT]agda_2.2.10-1~ubuntu1.dsc2011-02-24 14:05 3.1K 
[ ]agda_2.2.10-3build1.debian.tar.gz2011-07-09 18:06 7.5K 
[TXT]agda_2.2.10-3build1.dsc2011-07-09 18:06 3.1K 
[ ]agda_2.2.10-3build1_all.deb2011-07-09 18:06 2.9K 
[ ]agda_2.2.10.orig.tar.gz2011-02-24 14:05 506K 
[ ]agda_2.3.0.1-1build2.debian.tar.gz2012-04-21 12:33 6.5K 
[TXT]agda_2.3.0.1-1build2.dsc2012-04-21 12:33 3.0K 
[ ]agda_2.3.0.1-1build2_all.deb2012-04-21 13:03 2.9K 
[ ]agda_2.3.0.1-2build1.debian.tar.gz2012-08-27 08:33 6.8K 
[TXT]agda_2.3.0.1-2build1.dsc2012-08-27 08:33 3.0K 
[ ]agda_2.3.0.1-2build1_all.deb2012-08-27 08:33 2.9K 
[ ]agda_2.3.0.1.orig.tar.gz2012-03-18 08:03 598K 
[ ]agda_2.3.2-1.debian.tar.gz2013-04-10 13:33 7.1K 
[TXT]agda_2.3.2-1.dsc2013-04-10 13:33 3.3K 
[ ]agda_2.3.2-1_all.deb2013-04-10 14:03 2.9K 
[ ]agda_2.3.2.1-1.debian.tar.gz2013-06-16 19:33 7.1K 
[TXT]agda_2.3.2.1-1.dsc2013-06-16 19:33 3.2K 
[ ]agda_2.3.2.1-1_all.deb2013-06-16 20:03 2.9K 
[ ]agda_2.3.2.1.orig.tar.gz2013-06-16 19:33 713K 
[ ]agda_2.3.2.orig.tar.gz2013-04-10 13:33 709K 
[ ]agda_2.4.0.2-2.debian.tar.xz2014-08-11 12:28 7.2K 
[TXT]agda_2.4.0.2-2.dsc2014-08-11 12:28 3.8K 
[ ]agda_2.4.0.2-2_all.deb2014-08-11 12:53 3.0K 
[ ]agda_2.4.0.2-2build1.debian.tar.xz2014-10-29 13:58 7.2K 
[TXT]agda_2.4.0.2-2build1.dsc2014-10-29 13:58 3.9K 
[ ]agda_2.4.0.2-2build1_all.deb2014-10-29 14:00 3.0K 
[ ]agda_2.4.0.2.orig.tar.gz2014-08-05 13:34 889K 
[ ]agda_2.4.2.2-4build1.debian.tar.xz2015-08-16 04:58 8.6K 
[TXT]agda_2.4.2.2-4build1.dsc2015-08-16 04:58 3.6K 
[ ]agda_2.4.2.2-4build1_all.deb2015-08-16 05:23 2.9K 
[ ]agda_2.4.2.2.orig.tar.gz2015-05-20 13:08 941K 
[ ]agda_2.5.1-2build2.debian.tar.xz2018-06-12 22:52 8.7K 
[TXT]agda_2.5.1-2build2.dsc2018-06-12 22:52 4.0K 
[ ]agda_2.5.1-2build2_all.deb2018-05-15 02:14 2.9K 
[ ]agda_2.5.1.1-3build3.debian.tar.xz2017-01-27 02:28 9.4K 
[TXT]agda_2.5.1.1-3build3.dsc2017-01-27 02:28 4.0K 
[ ]agda_2.5.1.1-3build3_all.deb2017-01-27 03:03 2.9K 
[ ]agda_2.5.1.1.orig.tar.gz2016-11-13 08:09 1.1M 
[ ]agda_2.5.1.orig.tar.gz2018-06-12 22:52 1.1M 
[ ]agda_2.5.2-2build1.debian.tar.xz2017-07-15 04:58 8.9K 
[TXT]agda_2.5.2-2build1.dsc2017-07-15 04:58 4.0K 
[ ]agda_2.5.2-2build1_all.deb2017-07-15 08:08 2.9K 
[ ]agda_2.5.2.orig.tar.gz2017-07-07 01:08 1.2M 
[ ]agda_2.5.3-5build3.debian.tar.xz2018-07-05 03:48 9.9K 
[TXT]agda_2.5.3-5build3.dsc2018-07-05 03:48 4.4K 
[ ]agda_2.5.3-5build3_all.deb2018-07-05 04:58 3.0K 
[ ]agda_2.5.3.orig.tar.gz2017-11-01 09:05 1.1M 
[ ]agda_2.5.4.1-3.debian.tar.xz2018-12-14 05:18 9.7K 
[TXT]agda_2.5.4.1-3.dsc2018-12-14 05:18 3.8K 
[ ]agda_2.5.4.1-3_all.deb2018-12-14 05:58 4.0K 
[ ]agda_2.5.4.1.orig.tar.gz2018-12-14 05:18 1.9M 
[ ]elpa-agda2-mode_2.5.1-2build2_all.deb2018-05-15 02:22 39K 
[ ]elpa-agda2-mode_2.5.1.1-3build3_all.deb2017-01-27 03:03 39K 
[ ]elpa-agda2-mode_2.5.2-2build1_all.deb2017-07-15 08:08 40K 
[ ]elpa-agda2-mode_2.5.3-5build3_all.deb2018-07-05 04:58 40K 
[ ]elpa-agda2-mode_2.5.4.1-3_all.deb2018-12-14 05:58 40K 
[ ]haskell-agda-doc_2.2.4+dfsg-1_all.deb2009-08-24 09:05 948K 
[ ]haskell-agda-doc_2.2.6-3_all.deb2010-03-04 10:05 1.0M 
[ ]libghc-agda-dev_2.2.10-3build1_amd64.deb2011-07-09 18:06 10M 
[ ]libghc-agda-dev_2.2.10-3build1_i386.deb2011-07-09 18:06 9.7M 
[ ]libghc-agda-dev_2.2.10-3build1_powerpc.deb2011-07-09 18:06 13M 
[ ]libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-04-21 13:03 12M 
[ ]libghc-agda-dev_2.3.0.1-1build2_armel.deb2012-04-21 14:33 18M 
[ ]libghc-agda-dev_2.3.0.1-1build2_armhf.deb2012-04-21 14:33 18M 
[ ]libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-04-21 13:03 12M 
[ ]libghc-agda-dev_2.3.0.1-1build2_powerpc.deb2012-04-21 13:03 16M 
[ ]libghc-agda-dev_2.3.0.1-2build1_amd64.deb2012-08-27 09:03 13M 
[ ]libghc-agda-dev_2.3.0.1-2build1_armel.deb2012-08-27 10:33 17M 
[ ]libghc-agda-dev_2.3.0.1-2build1_armhf.deb2012-08-27 10:33 18M 
[ ]libghc-agda-dev_2.3.0.1-2build1_i386.deb2012-08-27 08:33 12M 
[ ]libghc-agda-dev_2.3.0.1-2build1_powerpc.deb2012-08-27 09:03 16M 
[ ]libghc-agda-dev_2.3.2-1_amd64.deb2013-04-10 14:03 13M 
[ ]libghc-agda-dev_2.3.2-1_armhf.deb2013-04-10 16:03 18M 
[ ]libghc-agda-dev_2.3.2-1_i386.deb2013-04-10 14:03 12M 
[ ]libghc-agda-dev_2.3.2-1_powerpc.deb2013-04-10 14:03 15M 
[ ]libghc-agda-dev_2.3.2.1-1_amd64.deb2013-06-16 20:03 13M 
[ ]libghc-agda-dev_2.3.2.1-1_i386.deb2013-06-16 20:03 12M 
[ ]libghc-agda-dev_2.3.2.1-1_powerpc.deb2013-06-16 20:03 15M 
[ ]libghc-agda-dev_2.4.0.2-2_amd64.deb2014-08-11 12:53 9.3M 
[ ]libghc-agda-dev_2.4.0.2-2_i386.deb2014-08-11 12:53 9.2M 
[ ]libghc-agda-dev_2.4.0.2-2_powerpc.deb2014-08-11 13:22 9.1M 
[ ]libghc-agda-dev_2.4.0.2-2build1_amd64.deb2014-10-29 14:00 9.3M 
[ ]libghc-agda-dev_2.4.0.2-2build1_i386.deb2014-10-29 14:01 9.2M 
[ ]libghc-agda-dev_2.4.0.2-2build1_powerpc.deb2014-10-29 14:50 9.1M 
[ ]libghc-agda-dev_2.4.2.2-4build1_amd64.deb2015-08-16 05:23 10M 
[ ]libghc-agda-dev_2.4.2.2-4build1_arm64.deb2015-08-16 06:43 16M 
[ ]libghc-agda-dev_2.4.2.2-4build1_i386.deb2015-08-16 05:08 10M 
[ ]libghc-agda-dev_2.4.2.2-4build1_powerpc.deb2015-08-16 05:08 6.3M 
[ ]libghc-agda-dev_2.4.2.2-4build1_ppc64el.deb2015-08-16 05:44 16M 
[ ]libghc-agda-dev_2.5.1-2build2_amd64.deb2018-05-15 02:53 12M 
[ ]libghc-agda-dev_2.5.1-2build2_arm64.deb2018-06-13 00:35 18M 
[ ]libghc-agda-dev_2.5.1-2build2_armhf.deb2018-06-13 01:24 15M 
[ ]libghc-agda-dev_2.5.1-2build2_i386.deb2018-06-13 02:13 11M 
[ ]libghc-agda-dev_2.5.1-2build2_powerpc.deb2018-06-13 03:02 11M 
[ ]libghc-agda-dev_2.5.1-2build2_ppc64el.deb2018-06-13 04:05 18M 
[ ]libghc-agda-dev_2.5.1-2build2_s390x.deb2018-06-13 05:11 18M 
[ ]libghc-agda-dev_2.5.1.1-3build3_amd64.deb2017-01-27 03:03 12M 
[ ]libghc-agda-dev_2.5.1.1-3build3_arm64.deb2017-01-27 04:23 19M 
[ ]libghc-agda-dev_2.5.1.1-3build3_armhf.deb2017-01-27 04:33 15M 
[ ]libghc-agda-dev_2.5.1.1-3build3_i386.deb2017-01-27 02:29 12M 
[ ]libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb2017-01-27 03:05 17M 
[ ]libghc-agda-dev_2.5.1.1-3build3_s390x.deb2017-01-27 03:05 19M 
[ ]libghc-agda-dev_2.5.2-2build1_amd64.deb2017-07-15 08:08 13M 
[ ]libghc-agda-dev_2.5.2-2build1_arm64.deb2017-07-15 09:48 19M 
[ ]libghc-agda-dev_2.5.2-2build1_armhf.deb2017-07-15 10:24 16M 
[ ]libghc-agda-dev_2.5.2-2build1_i386.deb2017-07-15 08:08 13M 
[ ]libghc-agda-dev_2.5.2-2build1_ppc64el.deb2017-07-15 08:08 17M 
[ ]libghc-agda-dev_2.5.2-2build1_s390x.deb2017-07-15 08:08 20M 
[ ]libghc-agda-dev_2.5.3-5build3_amd64.deb2018-07-05 04:58 15M 
[ ]libghc-agda-dev_2.5.3-5build3_arm64.deb2018-07-05 06:43 18M 
[ ]libghc-agda-dev_2.5.3-5build3_armhf.deb2018-07-05 08:03 18M 
[ ]libghc-agda-dev_2.5.3-5build3_i386.deb2018-07-05 04:48 15M 
[ ]libghc-agda-dev_2.5.3-5build3_ppc64el.deb2018-07-05 04:58 22M 
[ ]libghc-agda-dev_2.5.3-5build3_s390x.deb2018-07-05 05:23 23M 
[ ]libghc-agda-dev_2.5.4.1-3_amd64.deb2018-12-14 05:58 16M 
[ ]libghc-agda-dev_2.5.4.1-3_arm64.deb2018-12-14 07:44 19M 
[ ]libghc-agda-dev_2.5.4.1-3_i386.deb2018-12-14 05:38 16M 
[ ]libghc-agda-dev_2.5.4.1-3_ppc64el.deb2018-12-14 05:53 23M 
[ ]libghc-agda-dev_2.5.4.1-3_s390x.deb2018-12-14 06:03 24M 
[ ]libghc-agda-doc_2.2.10-3build1_all.deb2011-07-09 18:06 1.4M 
[ ]libghc-agda-doc_2.3.0.1-1build2_all.deb2012-04-21 13:03 1.6M 
[ ]libghc-agda-doc_2.3.0.1-2build1_all.deb2012-08-27 08:33 1.7M 
[ ]libghc-agda-doc_2.3.2-1_all.deb2013-04-10 14:03 2.1M 
[ ]libghc-agda-doc_2.3.2.1-1_all.deb2013-06-16 20:03 2.1M 
[ ]libghc-agda-doc_2.4.0.2-2_all.deb2014-08-11 12:53 1.8M 
[ ]libghc-agda-doc_2.4.0.2-2build1_all.deb2014-10-29 14:00 1.8M 
[ ]libghc-agda-doc_2.4.2.2-4build1_all.deb2015-08-16 05:23 1.9M 
[ ]libghc-agda-doc_2.5.1-2build2_all.deb2018-05-15 02:53 2.3M 
[ ]libghc-agda-doc_2.5.1.1-3build3_all.deb2017-01-27 03:03 2.4M 
[ ]libghc-agda-doc_2.5.2-2build1_all.deb2017-07-15 08:08 2.5M 
[ ]libghc-agda-doc_2.5.3-5build3_all.deb2018-07-05 04:58 2.5M 
[ ]libghc-agda-doc_2.5.4.1-3_all.deb2018-12-14 05:58 3.5M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb2009-08-24 09:05 8.3M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_i386.deb2009-08-24 09:05 7.9M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_lpia.deb2009-08-24 09:05 7.9M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_powerpc.deb2009-08-24 09:06 11M 
[ ]libghc6-agda-dev_2.2.4+dfsg-1_sparc.deb2009-08-24 14:44 14M 
[ ]libghc6-agda-dev_2.2.6-3_amd64.deb2010-03-04 10:05 9.6M 
[ ]libghc6-agda-dev_2.2.6-3_armel.deb2010-04-18 08:04 16M 
[ ]libghc6-agda-dev_2.2.6-3_i386.deb2010-03-04 10:06 9.1M 
[ ]libghc6-agda-dev_2.2.6-3_powerpc.deb2010-03-04 11:05 13M 
[ ]libghc6-agda-dev_2.2.6-3_sparc.deb2010-03-05 01:05 17M 
[ ]libghc6-agda-dev_2.2.6-7build1_amd64.deb2010-05-26 08:05 9.6M 
[ ]libghc6-agda-dev_2.2.6-7build1_armel.deb2010-07-04 09:09 16M 
[ ]libghc6-agda-dev_2.2.6-7build1_i386.deb2010-05-26 05:05 9.1M 
[ ]libghc6-agda-dev_2.2.6-7build1_powerpc.deb2010-05-26 06:05 13M 
[ ]libghc6-agda-dev_2.2.6-7build2_armel.deb2011-02-12 15:04 17M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb2011-02-24 17:05 11M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb2011-02-24 14:06 10M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_powerpc.deb2011-02-26 17:04 14M 
[ ]libghc6-agda-doc_2.2.6-7build1_all.deb2010-05-26 05:04 1.0M 
[ ]libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb2011-02-24 14:05 1.2M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb2009-08-24 09:05 13M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_i386.deb2009-08-24 09:05 12M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_lpia.deb2009-08-24 09:05 12M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_powerpc.deb2009-08-24 09:06 18M 
[ ]libghc6-agda-prof_2.2.4+dfsg-1_sparc.deb2009-08-24 14:44 19M 
[ ]libghc6-agda-prof_2.2.6-3_amd64.deb2010-03-04 10:05 14M 
[ ]libghc6-agda-prof_2.2.6-3_armel.deb2010-04-18 08:04 20M 
[ ]libghc6-agda-prof_2.2.6-3_i386.deb2010-03-04 10:06 13M 
[ ]libghc6-agda-prof_2.2.6-3_powerpc.deb2010-03-04 11:05 20M 
[ ]libghc6-agda-prof_2.2.6-3_sparc.deb2010-03-05 01:05 21M