| ../ | | - | Directory |
| agda-bin_2.4.0.2-2+b1_amd64.deb | 2014-Sep-07 21:27:59 | 3.7M | application/vnd.debian.binary-package |
| agda-bin_2.4.0.2-2+b1_i386.deb | 2014-Sep-08 10:57:32 | 3.6M | application/vnd.debian.binary-package |
| agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb | 2014-Sep-08 10:57:38 | 4.3M | application/vnd.debian.binary-package |
| agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb | 2014-Sep-08 10:47:27 | 4.1M | application/vnd.debian.binary-package |
| agda-bin_2.4.0.2-2+b1_powerpc.deb | 2014-Sep-08 11:12:50 | 3.4M | application/vnd.debian.binary-package |
| agda-bin_2.5.1.1-3+b3_amd64.deb | 2016-Nov-10 19:40:13 | 5.9M | application/vnd.debian.binary-package |
| agda-bin_2.5.1.1-3+b3_arm64.deb | 2016-Nov-10 20:10:23 | 10.7M | application/vnd.debian.binary-package |
| agda-bin_2.5.1.1-3+b3_i386.deb | 2016-Nov-10 19:00:01 | 6.0M | application/vnd.debian.binary-package |
| agda-bin_2.5.1.1-3+b3_s390x.deb | 2016-Nov-10 20:30:30 | 21.2M | application/vnd.debian.binary-package |
| agda-bin_2.5.1.1-3_mips64el.deb | 2016-Nov-20 02:28:21 | 9.4M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_amd64.deb | 2018-Dec-04 12:59:05 | 5.6M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_arm64.deb | 2018-Dec-04 15:27:43 | 6.4M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_i386.deb | 2018-Dec-04 12:43:51 | 5.6M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_mips.deb | 2018-Dec-06 21:59:33 | 9.2M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_mips64el.deb | 2018-Dec-23 15:59:52 | 10.6M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_mipsel.deb | 2018-Dec-24 14:25:57 | 9.5M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_ppc64el.deb | 2018-Dec-04 12:43:59 | 7.6M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_s390x.deb | 2018-Dec-04 12:54:02 | 12.6M | application/vnd.debian.binary-package |
| agda-mode_2.2.6-7_all.deb | 2010-May-06 07:02:03 | 39.1K | application/vnd.debian.binary-package |
| agda-mode_2.3.0.1-2_all.deb | 2012-May-27 00:32:37 | 45.0K | application/vnd.debian.binary-package |
| agda-mode_2.4.0.2-2_all.deb | 2014-Aug-11 14:28:59 | 86.2K | application/vnd.debian.binary-package |
| agda-mode_2.5.1.1-3_all.deb | 2016-Oct-29 03:56:42 | 77.8K | application/vnd.debian.binary-package |
| agda-mode_2.5.4.1-3_all.deb | 2018-Oct-21 00:57:49 | 114.9K | application/vnd.debian.binary-package |
| agda_2.2.6-7.debian.tar.gz | 2010-May-06 07:02:03 | 5.1K | application/x-gtar-compressed |
| agda_2.2.6-7.dsc | 2010-May-06 07:02:03 | 2.2K | text/prs.lines.tag |
| agda_2.2.6.orig.tar.gz | 2010-Jan-07 21:47:03 | 414.4K | application/x-gtar-compressed |
| agda_2.3.0.1-2.debian.tar.gz | 2012-May-27 00:32:37 | 6.7K | application/x-gtar-compressed |
| agda_2.3.0.1-2.dsc | 2012-May-27 00:32:37 | 2.3K | text/prs.lines.tag |
| agda_2.3.0.1-2_all.deb | 2012-May-27 00:32:37 | 12.9K | application/vnd.debian.binary-package |
| agda_2.3.0.1.orig.tar.gz | 2012-Mar-12 15:32:08 | 597.9K | application/x-gtar-compressed |
| agda_2.4.0.2-2.debian.tar.xz | 2014-Aug-11 14:28:59 | 7.1K | application/x-xz |
| agda_2.4.0.2-2.dsc | 2014-Aug-11 14:28:59 | 3.8K | text/prs.lines.tag |
| agda_2.4.0.2-2_all.deb | 2014-Aug-11 14:28:59 | 55.0K | application/vnd.debian.binary-package |
| agda_2.4.0.2.orig.tar.gz | 2014-Aug-05 12:23:29 | 889.0K | application/x-gtar-compressed |
| agda_2.5.1.1-3.debian.tar.xz | 2016-Oct-28 03:24:59 | 8.8K | application/x-xz |
| agda_2.5.1.1-3.dsc | 2016-Oct-28 03:24:59 | 4.1K | text/prs.lines.tag |
| agda_2.5.1.1-3_all.deb | 2016-Oct-29 03:56:42 | 78.2K | application/vnd.debian.binary-package |
| agda_2.5.1.1.orig.tar.gz | 2016-Oct-16 23:43:46 | 1.1M | application/x-gtar-compressed |
| agda_2.5.4.1-3.debian.tar.xz | 2018-Oct-20 23:41:45 | 9.7K | application/x-xz |
| agda_2.5.4.1-3.dsc | 2018-Oct-20 23:41:45 | 3.7K | text/prs.lines.tag |
| agda_2.5.4.1-3_all.deb | 2018-Oct-21 00:57:49 | 115.3K | application/vnd.debian.binary-package |
| agda_2.5.4.1.orig.tar.gz | 2018-Sep-30 13:54:26 | 1.9M | application/x-gtar-compressed |
| elpa-agda2-mode_2.5.1.1-3_all.deb | 2016-Oct-29 03:56:42 | 112.5K | application/vnd.debian.binary-package |
| elpa-agda2-mode_2.5.4.1-3_all.deb | 2018-Oct-21 00:57:49 | 151.8K | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2+b1_amd64.deb | 2012-May-28 02:02:08 | 12.4M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_armel.deb | 2012-May-28 00:33:48 | 16.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_armhf.deb | 2012-May-27 10:32:07 | 17.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_i386.deb | 2012-May-27 01:32:12 | 11.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb | 2012-May-27 08:17:09 | 12.4M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb | 2012-May-27 08:32:08 | 11.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_powerpc.deb | 2012-May-27 02:47:08 | 15.7M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_s390x.deb | 2012-May-27 10:32:20 | 22.7M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2_sparc.deb | 2012-Jun-02 18:17:11 | 24.1M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.4.0.2-2+b1_amd64.deb | 2014-Sep-07 21:27:59 | 9.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.4.0.2-2+b1_i386.deb | 2014-Sep-08 10:57:32 | 9.2M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb | 2014-Sep-08 10:57:38 | 9.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb | 2014-Sep-08 10:47:27 | 9.1M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb | 2014-Sep-08 11:12:50 | 9.1M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.1.1-3+b3_amd64.deb | 2016-Nov-10 19:40:13 | 12.2M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.1.1-3+b3_arm64.deb | 2016-Nov-10 20:10:23 | 18.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.1.1-3+b3_i386.deb | 2016-Nov-10 19:00:01 | 13.6M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.1.1-3+b3_s390x.deb | 2016-Nov-10 20:30:30 | 24.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.1.1-3_mips64el.deb | 2016-Nov-20 02:28:21 | 18.1M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_amd64.deb | 2018-Dec-04 12:59:05 | 16.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_arm64.deb | 2018-Dec-04 15:27:43 | 18.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_i386.deb | 2018-Dec-04 12:43:52 | 16.0M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_mips.deb | 2018-Dec-06 21:59:33 | 21.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb | 2018-Dec-23 15:59:52 | 23.4M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb | 2018-Dec-24 14:25:57 | 21.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb | 2018-Dec-04 12:43:59 | 23.4M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_s390x.deb | 2018-Dec-04 12:54:02 | 24.7M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.3.0.1-2_all.deb | 2012-May-27 00:32:37 | 1.6M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.4.0.2-2_all.deb | 2014-Aug-11 14:28:59 | 1.8M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.5.1.1-3_all.deb | 2016-Oct-29 03:56:42 | 2.5M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.5.4.1-3_all.deb | 2018-Oct-21 00:57:49 | 3.6M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_amd64.deb | 2010-May-06 07:02:03 | 9.6M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_armel.deb | 2010-May-07 00:47:10 | 15.5M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_i386.deb | 2010-May-06 10:17:18 | 9.0M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb | 2010-May-06 09:32:03 | 9.5M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb | 2010-May-06 09:32:17 | 9.0M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_mips.deb | 2010-May-06 22:47:03 | 17.8M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_mipsel.deb | 2010-May-07 00:47:30 | 16.7M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_powerpc.deb | 2010-May-06 10:17:32 | 12.5M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_s390.deb | 2010-May-06 14:50:42 | 16.0M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-7_sparc.deb | 2010-May-13 01:47:14 | 16.9M | application/vnd.debian.binary-package |
| libghc6-agda-doc_2.2.6-7_all.deb | 2010-May-06 07:02:03 | 1.0M | application/vnd.debian.binary-package |