| Parent Directory/ | | - | Directory |
| agda-bin_2.3.2.2-1_amd64.deb | 2013-Nov-06 18:28:35 | 5.2M | application/octet-stream |
| agda-bin_2.3.2.2-1_i386.deb | 2013-Nov-06 18:28:57 | 4.8M | application/octet-stream |
| agda-bin_2.4.0.2-2build1_amd64.deb | 2014-Oct-29 19:00:25 | 3.7M | application/octet-stream |
| agda-bin_2.4.0.2-2build1_i386.deb | 2014-Oct-29 19:01:56 | 3.5M | application/octet-stream |
| agda-bin_2.4.2.2-4build1_amd64.deb | 2015-Aug-16 11:23:26 | 4.3M | application/octet-stream |
| agda-bin_2.4.2.2-4build1_i386.deb | 2015-Aug-16 11:08:36 | 4.2M | application/octet-stream |
| agda-bin_2.4.2.5-1build1_amd64.deb | 2016-Jan-12 23:59:06 | 4.5M | application/octet-stream |
| agda-bin_2.4.2.5-1build1_i386.deb | 2016-Jan-12 23:45:42 | 4.5M | application/octet-stream |
| agda-bin_2.5.1-2build2_amd64.deb | 2016-Aug-09 16:04:38 | 4.7M | application/octet-stream |
| agda-bin_2.5.1-2build2_i386.deb | 2016-Aug-09 15:25:42 | 4.7M | application/octet-stream |
| agda-bin_2.5.1.1-3_amd64.deb | 2016-Nov-13 15:08:27 | 4.8M | application/octet-stream |
| agda-bin_2.5.1.1-3_i386.deb | 2016-Nov-13 14:32:51 | 4.8M | application/octet-stream |
| agda-bin_2.5.3-3build1_amd64.deb | 2017-Nov-25 21:09:44 | 5.4M | application/octet-stream |
| agda-bin_2.5.3-3build1_i386.deb | 2017-Nov-25 21:09:57 | 5.4M | application/octet-stream |
| agda-bin_2.6.0.1-1build4_amd64.deb | 2020-Feb-08 14:19:07 | 6.2M | application/octet-stream |
| agda-bin_2.6.1-1build2.1_amd64.deb | 2021-Sep-16 10:28:52 | 9.1M | application/octet-stream |
| agda-bin_2.6.1-1build2_amd64.deb | 2020-Nov-05 03:43:37 | 8.4M | application/octet-stream |
| agda-mode_2.3.0.1-1build2_all.deb | 2012-Apr-21 19:03:31 | 39.8K | application/octet-stream |
| agda-mode_2.3.2.2-1_all.deb | 2013-Nov-06 18:28:38 | 46.9K | application/octet-stream |
| agda-mode_2.4.0.2-2build1_all.deb | 2014-Oct-29 19:00:23 | 39.2K | application/octet-stream |
| agda-mode_2.4.2.2-4build1_all.deb | 2015-Aug-16 11:23:26 | 35.4K | application/octet-stream |
| agda-mode_2.4.2.5-1build1_all.deb | 2016-Jan-12 23:59:05 | 36.4K | application/octet-stream |
| agda-mode_2.5.1-2build2_all.deb | 2016-Aug-09 16:04:35 | 4.2K | application/octet-stream |
| agda-mode_2.5.1.1-3_all.deb | 2016-Nov-13 15:08:27 | 4.1K | application/octet-stream |
| agda-mode_2.5.3-3build1_all.deb | 2017-Nov-25 21:09:45 | 3.5K | application/octet-stream |
| agda-mode_2.6.0.1-1build4_all.deb | 2020-Feb-08 14:19:08 | 3.5K | application/octet-stream |
| agda_2.3.0.1-1build2.debian.tar.gz | 2012-Apr-21 18:33:50 | 6.4K | application/x-gzip |
| agda_2.3.0.1-1build2.dsc | 2012-Apr-21 18:33:50 | 2.9K | application/octet-stream |
| agda_2.3.0.1-1build2_all.deb | 2012-Apr-21 19:03:31 | 2.9K | application/octet-stream |
| agda_2.3.0.1.orig.tar.gz | 2012-Mar-18 13:03:33 | 597.9K | application/x-gzip |
| agda_2.3.2.2-1.debian.tar.gz | 2013-Nov-06 18:28:29 | 7.2K | application/x-gzip |
| agda_2.3.2.2-1.dsc | 2013-Nov-06 18:28:29 | 3.2K | application/octet-stream |
| agda_2.3.2.2-1_all.deb | 2013-Nov-06 18:28:39 | 2.9K | application/octet-stream |
| agda_2.3.2.2.orig.tar.gz | 2013-Nov-06 18:28:29 | 1.9M | application/x-gzip |
| agda_2.4.0.2-2build1.debian.tar.xz | 2014-Oct-29 18:58:50 | 7.2K | application/octet-stream |
| agda_2.4.0.2-2build1.dsc | 2014-Oct-29 18:58:50 | 3.8K | application/octet-stream |
| agda_2.4.0.2-2build1_all.deb | 2014-Oct-29 19:00:23 | 2.9K | application/octet-stream |
| agda_2.4.0.2.orig.tar.gz | 2014-Aug-05 19:34:18 | 889.0K | application/x-gzip |
| agda_2.4.2.2-4build1.debian.tar.xz | 2015-Aug-16 10:58:27 | 8.6K | application/octet-stream |
| agda_2.4.2.2-4build1.dsc | 2015-Aug-16 10:58:27 | 3.6K | application/octet-stream |
| agda_2.4.2.2-4build1_all.deb | 2015-Aug-16 11:23:27 | 2.9K | application/octet-stream |
| agda_2.4.2.2.orig.tar.gz | 2015-May-20 19:08:30 | 940.7K | application/x-gzip |
| agda_2.4.2.5-1build1.debian.tar.xz | 2016-Jan-12 23:30:27 | 7.6K | application/octet-stream |
| agda_2.4.2.5-1build1.dsc | 2016-Jan-12 23:30:27 | 3.7K | application/octet-stream |
| agda_2.4.2.5-1build1_all.deb | 2016-Jan-12 23:59:07 | 2.9K | application/octet-stream |
| agda_2.4.2.5.orig.tar.gz | 2016-Jan-05 00:25:06 | 0.9M | application/x-gzip |
| agda_2.5.1-2build2.debian.tar.xz | 2016-Aug-09 15:19:45 | 8.6K | application/octet-stream |
| agda_2.5.1-2build2.dsc | 2016-Aug-09 15:19:45 | 4.0K | application/octet-stream |
| agda_2.5.1-2build2_all.deb | 2016-Aug-09 16:04:36 | 2.9K | application/octet-stream |
| agda_2.5.1.1-3.debian.tar.xz | 2016-Nov-13 14:09:16 | 8.8K | application/octet-stream |
| agda_2.5.1.1-3.dsc | 2016-Nov-13 14:09:15 | 4.1K | application/octet-stream |
| agda_2.5.1.1-3_all.deb | 2016-Nov-13 15:08:30 | 2.9K | application/octet-stream |
| agda_2.5.1.1.orig.tar.gz | 2016-Nov-13 14:09:16 | 1.1M | application/x-gzip |
| agda_2.5.1.orig.tar.gz | 2016-Jun-15 01:44:22 | 1.1M | application/x-gzip |
| agda_2.5.3-3build1.debian.tar.xz | 2017-Nov-25 20:15:28 | 9.5K | application/octet-stream |
| agda_2.5.3-3build1.dsc | 2017-Nov-25 20:15:28 | 4.4K | application/octet-stream |
| agda_2.5.3-3build1_all.deb | 2017-Nov-25 21:09:45 | 2.9K | application/octet-stream |
| agda_2.5.3.orig.tar.gz | 2017-Nov-01 14:05:07 | 1.1M | application/x-gzip |
| agda_2.6.0.1-1build4.debian.tar.xz | 2020-Feb-08 12:38:18 | 9.9K | application/octet-stream |
| agda_2.6.0.1-1build4.dsc | 2020-Feb-08 12:38:18 | 4.1K | application/octet-stream |
| agda_2.6.0.1-1build4_all.deb | 2020-Feb-08 14:19:07 | 3.9K | application/octet-stream |
| agda_2.6.0.1.orig.tar.gz | 2019-Sep-01 14:43:41 | 2.2M | application/x-gzip |
| agda_2.6.1-1build2.1.debian.tar.xz | 2021-Sep-16 09:39:13 | 9.9K | application/octet-stream |
| agda_2.6.1-1build2.1.dsc | 2021-Sep-16 09:39:13 | 4.1K | application/octet-stream |
| agda_2.6.1-1build2.1_all.deb | 2021-Sep-16 10:28:52 | 4.0K | application/octet-stream |
| agda_2.6.1-1build2.debian.tar.xz | 2020-Oct-29 21:24:00 | 9.9K | application/octet-stream |
| agda_2.6.1-1build2.dsc | 2020-Oct-29 21:24:00 | 4.2K | application/octet-stream |
| agda_2.6.1-1build2_all.deb | 2020-Nov-05 03:43:37 | 4.0K | application/octet-stream |
| agda_2.6.1.orig.tar.gz | 2020-Jul-30 01:19:10 | 2.5M | application/x-gzip |
| elpa-agda2-mode_2.5.1-2build2_all.deb | 2016-Aug-09 16:04:35 | 38.9K | application/octet-stream |
| elpa-agda2-mode_2.5.1.1-3_all.deb | 2016-Nov-13 15:08:30 | 38.8K | application/octet-stream |
| elpa-agda2-mode_2.5.3-3build1_all.deb | 2017-Nov-25 21:09:45 | 39.9K | application/octet-stream |
| elpa-agda2-mode_2.6.0.1-1build4_all.deb | 2020-Feb-08 14:19:07 | 40.2K | application/octet-stream |
| elpa-agda2-mode_2.6.1-1build2.1_all.deb | 2021-Sep-16 10:28:53 | 45.0K | application/octet-stream |
| elpa-agda2-mode_2.6.1-1build2_all.deb | 2020-Nov-05 03:43:38 | 41.3K | application/octet-stream |
| libghc-agda-dev_2.3.0.1-1build2_amd64.deb | 2012-Apr-21 19:03:36 | 12.4M | application/octet-stream |
| libghc-agda-dev_2.3.0.1-1build2_i386.deb | 2012-Apr-21 19:03:43 | 11.8M | application/octet-stream |
| libghc-agda-dev_2.3.2.2-1_amd64.deb | 2013-Nov-06 18:28:35 | 12.9M | application/octet-stream |
| libghc-agda-dev_2.3.2.2-1_i386.deb | 2013-Nov-06 18:28:55 | 12.3M | application/octet-stream |
| libghc-agda-dev_2.4.0.2-2build1_amd64.deb | 2014-Oct-29 19:00:25 | 9.2M | application/octet-stream |
| libghc-agda-dev_2.4.0.2-2build1_i386.deb | 2014-Oct-29 19:01:55 | 9.1M | application/octet-stream |
| libghc-agda-dev_2.4.2.2-4build1_amd64.deb | 2015-Aug-16 11:23:26 | 10.1M | application/octet-stream |
| libghc-agda-dev_2.4.2.2-4build1_i386.deb | 2015-Aug-16 11:08:35 | 10.0M | application/octet-stream |
| libghc-agda-dev_2.4.2.5-1build1_amd64.deb | 2016-Jan-12 23:59:06 | 10.1M | application/octet-stream |
| libghc-agda-dev_2.4.2.5-1build1_i386.deb | 2016-Jan-12 23:45:42 | 10.0M | application/octet-stream |
| libghc-agda-dev_2.5.1-2build2_amd64.deb | 2016-Aug-09 16:04:36 | 11.5M | application/octet-stream |
| libghc-agda-dev_2.5.1-2build2_i386.deb | 2016-Aug-09 15:25:41 | 11.3M | application/octet-stream |
| libghc-agda-dev_2.5.1.1-3_amd64.deb | 2016-Nov-13 15:08:30 | 12.4M | application/octet-stream |
| libghc-agda-dev_2.5.1.1-3_i386.deb | 2016-Nov-13 14:32:51 | 12.2M | application/octet-stream |
| libghc-agda-dev_2.5.3-3build1_amd64.deb | 2017-Nov-25 21:09:45 | 15.1M | application/octet-stream |
| libghc-agda-dev_2.5.3-3build1_i386.deb | 2017-Nov-25 21:09:57 | 14.8M | application/octet-stream |
| libghc-agda-dev_2.6.0.1-1build4_amd64.deb | 2020-Feb-08 14:19:07 | 18.7M | application/octet-stream |
| libghc-agda-dev_2.6.1-1build2.1_amd64.deb | 2021-Sep-16 10:28:52 | 38.4M | application/octet-stream |
| libghc-agda-dev_2.6.1-1build2_amd64.deb | 2020-Nov-05 03:43:38 | 36.1M | application/octet-stream |
| libghc-agda-doc_2.3.0.1-1build2_all.deb | 2012-Apr-21 19:03:30 | 1.6M | application/octet-stream |
| libghc-agda-doc_2.3.2.2-1_all.deb | 2013-Nov-06 18:28:38 | 2.0M | application/octet-stream |
| libghc-agda-doc_2.4.0.2-2build1_all.deb | 2014-Oct-29 19:00:24 | 1.8M | application/octet-stream |
| libghc-agda-doc_2.4.2.2-4build1_all.deb | 2015-Aug-16 11:23:27 | 1.9M | application/octet-stream |
| libghc-agda-doc_2.4.2.5-1build1_all.deb | 2016-Jan-12 23:59:06 | 2.0M | application/octet-stream |
| libghc-agda-doc_2.5.1-2build2_all.deb | 2016-Aug-09 16:04:36 | 2.2M | application/octet-stream |
| libghc-agda-doc_2.5.1.1-3_all.deb | 2016-Nov-13 15:08:28 | 2.4M | application/octet-stream |
| libghc-agda-doc_2.5.3-3build1_all.deb | 2017-Nov-25 21:09:44 | 2.6M | application/octet-stream |
| libghc-agda-doc_2.6.0.1-1build4_all.deb | 2020-Feb-08 14:19:06 | 4.0M | application/octet-stream |
| libghc-agda-doc_2.6.1-1build2.1_all.deb | 2021-Sep-16 10:28:53 | 5.1M | application/octet-stream |
| libghc-agda-doc_2.6.1-1build2_all.deb | 2020-Nov-05 03:43:37 | 5.5M | application/octet-stream |