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

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