| Parent Directory | | | Directory |
| agda-bin_2.3.2-1_amd64.deb | 2013-Apr-10 14:03:26 | 5.1M | application/octet-stream |
| agda-bin_2.3.2-1_i386.deb | 2013-Apr-10 14:03:32 | 4.7M | application/octet-stream |
| agda-bin_2.3.2-1build1_amd64.deb | 2013-May-03 03:33:39 | 5.1M | application/octet-stream |
| agda-bin_2.3.2-1build1_i386.deb | 2013-May-03 03:33:44 | 4.7M | application/octet-stream |
| agda-mode_2.2.10-1~ubuntu1_all.deb | 2011-Feb-24 14:05:52 | 39.1K | application/octet-stream |
| agda-mode_2.2.10-3build1_all.deb | 2011-Jul-09 18:06:17 | 39K | application/octet-stream |
| agda-mode_2.2.6-3_all.deb | 2010-Mar-04 10:05:57 | 38.4K | application/octet-stream |
| agda-mode_2.3.0.1-1build2_all.deb | 2012-Apr-21 13:03:31 | 39.9K | application/octet-stream |
| agda-mode_2.3.0.1-2build1_all.deb | 2012-Aug-27 08:33:19 | 43.9K | application/octet-stream |
| agda-mode_2.3.2-1_all.deb | 2013-Apr-10 14:03:25 | 44.4K | application/octet-stream |
| agda-mode_2.3.2-1build1_all.deb | 2013-May-03 03:33:40 | 44.3K | application/octet-stream |
| agda_2.2.10-1~ubuntu1.debian.tar.gz | 2011-Feb-24 14:05:22 | 8.2K | application/x-gzip |
| agda_2.2.10-1~ubuntu1.dsc | 2011-Feb-24 14:05:22 | 3.1K | application/octet-stream |
| agda_2.2.10-3build1.debian.tar.gz | 2011-Jul-09 18:06:11 | 7.5K | application/x-gzip |
| agda_2.2.10-3build1.dsc | 2011-Jul-09 18:06:11 | 3.1K | application/octet-stream |
| agda_2.2.10-3build1_all.deb | 2011-Jul-09 18:06:18 | 2.9K | application/octet-stream |
| agda_2.2.10.orig.tar.gz | 2011-Feb-24 14:05:22 | 505.6K | application/x-gzip |
| agda_2.2.6-3.diff.gz | 2010-Mar-04 10:05:53 | 5.2K | application/x-gzip |
| agda_2.2.6-3.dsc | 2010-Mar-04 10:05:53 | 2.7K | application/octet-stream |
| agda_2.2.6.orig.tar.gz | 2010-Feb-02 17:04:57 | 414.4K | application/x-gzip |
| agda_2.3.0.1-1build2.debian.tar.gz | 2012-Apr-21 12:33:50 | 6.5K | application/x-gzip |
| agda_2.3.0.1-1build2.dsc | 2012-Apr-21 12:33:50 | 3K | application/octet-stream |
| agda_2.3.0.1-1build2_all.deb | 2012-Apr-21 13:03:31 | 2.9K | application/octet-stream |
| agda_2.3.0.1-2build1.debian.tar.gz | 2012-Aug-27 08:33:19 | 6.8K | application/x-gzip |
| agda_2.3.0.1-2build1.dsc | 2012-Aug-27 08:33:19 | 3K | application/octet-stream |
| agda_2.3.0.1-2build1_all.deb | 2012-Aug-27 08:33:19 | 2.9K | application/octet-stream |
| agda_2.3.0.1.orig.tar.gz | 2012-Mar-18 08:03:33 | 598K | application/x-gzip |
| agda_2.3.2-1.debian.tar.gz | 2013-Apr-10 13:33:39 | 7.1K | application/x-gzip |
| agda_2.3.2-1.dsc | 2013-Apr-10 13:33:39 | 3.3K | application/octet-stream |
| agda_2.3.2-1_all.deb | 2013-Apr-10 14:03:25 | 2.9K | application/octet-stream |
| agda_2.3.2-1build1.debian.tar.gz | 2013-May-03 03:03:19 | 7.2K | application/x-gzip |
| agda_2.3.2-1build1.dsc | 2013-May-03 03:03:19 | 3.4K | application/octet-stream |
| agda_2.3.2-1build1_all.deb | 2013-May-03 03:33:40 | 2.9K | application/octet-stream |
| agda_2.3.2.orig.tar.gz | 2013-Apr-10 13:33:39 | 709.4K | application/x-gzip |
| haskell-agda-doc_2.2.6-3_all.deb | 2010-Mar-04 10:05:57 | 1M | application/octet-stream |
| libghc-agda-dev_2.2.10-3build1_amd64.deb | 2011-Jul-09 18:06:18 | 10.4M | application/octet-stream |
| libghc-agda-dev_2.2.10-3build1_i386.deb | 2011-Jul-09 18:06:31 | 9.7M | application/octet-stream |
| libghc-agda-dev_2.3.0.1-1build2_amd64.deb | 2012-Apr-21 13:03:36 | 12.4M | application/octet-stream |
| libghc-agda-dev_2.3.0.1-1build2_i386.deb | 2012-Apr-21 13:03:43 | 11.8M | application/octet-stream |
| libghc-agda-dev_2.3.0.1-2build1_amd64.deb | 2012-Aug-27 09:03:19 | 12.6M | application/octet-stream |
| libghc-agda-dev_2.3.0.1-2build1_i386.deb | 2012-Aug-27 08:33:23 | 12M | application/octet-stream |
| libghc-agda-dev_2.3.2-1_amd64.deb | 2013-Apr-10 14:03:26 | 13M | application/octet-stream |
| libghc-agda-dev_2.3.2-1_i386.deb | 2013-Apr-10 14:03:31 | 12.3M | application/octet-stream |
| libghc-agda-dev_2.3.2-1build1_amd64.deb | 2013-May-03 03:33:39 | 13M | application/octet-stream |
| libghc-agda-dev_2.3.2-1build1_i386.deb | 2013-May-03 03:33:44 | 12.3M | application/octet-stream |
| libghc-agda-doc_2.2.10-3build1_all.deb | 2011-Jul-09 18:06:17 | 1.4M | application/octet-stream |
| libghc-agda-doc_2.3.0.1-1build2_all.deb | 2012-Apr-21 13:03:30 | 1.6M | application/octet-stream |
| libghc-agda-doc_2.3.0.1-2build1_all.deb | 2012-Aug-27 08:33:19 | 1.7M | application/octet-stream |
| libghc-agda-doc_2.3.2-1_all.deb | 2013-Apr-10 14:03:25 | 2.1M | application/octet-stream |
| libghc-agda-doc_2.3.2-1build1_all.deb | 2013-May-03 03:33:39 | 2.1M | application/octet-stream |
| libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb | 2011-Feb-24 17:05:24 | 10.6M | application/octet-stream |
| libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb | 2011-Feb-24 14:06:43 | 10M | application/octet-stream |
| libghc6-agda-dev_2.2.6-3_amd64.deb | 2010-Mar-04 10:05:59 | 9.6M | application/octet-stream |
| libghc6-agda-dev_2.2.6-3_i386.deb | 2010-Mar-04 10:06:10 | 9.1M | application/octet-stream |
| libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb | 2011-Feb-24 14:05:52 | 1.2M | application/octet-stream |
| libghc6-agda-prof_2.2.6-3_amd64.deb | 2010-Mar-04 10:05:59 | 14.2M | application/octet-stream |
| libghc6-agda-prof_2.2.6-3_i386.deb | 2010-Mar-04 10:06:10 | 13M | application/octet-stream |