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

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