| ../ | | - | Directory |
| agda-bin_2.3.2-1_amd64.deb | 2013-Apr-10 20:03:26 | 5.0M | application/vnd.debian.binary-package |
| agda-bin_2.3.2-1_i386.deb | 2013-Apr-10 20:03:32 | 4.7M | application/vnd.debian.binary-package |
| agda-bin_2.3.2.1-1_amd64.deb | 2013-Jun-17 02:03:35 | 5.1M | application/vnd.debian.binary-package |
| agda-bin_2.3.2.1-1_i386.deb | 2013-Jun-17 02:03:46 | 4.7M | application/vnd.debian.binary-package |
| agda-bin_2.3.2.2-1_amd64.deb | 2013-Nov-06 18:28:35 | 5.2M | application/vnd.debian.binary-package |
| agda-bin_2.3.2.2-1_i386.deb | 2013-Nov-06 18:28:57 | 4.8M | application/vnd.debian.binary-package |
| agda-mode_2.2.10-3build1_all.deb | 2011-Jul-10 00:06:17 | 38.9K | application/vnd.debian.binary-package |
| agda-mode_2.2.6-3_all.deb | 2010-Mar-04 16:05:57 | 38.3K | application/vnd.debian.binary-package |
| agda-mode_2.3.0.1-1build2_all.deb | 2012-Apr-21 19:03:31 | 39.8K | application/vnd.debian.binary-package |
| agda-mode_2.3.0.1-2build1_all.deb | 2012-Aug-27 14:33:19 | 43.9K | application/vnd.debian.binary-package |
| agda-mode_2.3.2-1_all.deb | 2013-Apr-10 20:03:25 | 44.4K | application/vnd.debian.binary-package |
| agda-mode_2.3.2.1-1_all.deb | 2013-Jun-17 02:03:35 | 43.6K | application/vnd.debian.binary-package |
| agda-mode_2.3.2.2-1_all.deb | 2013-Nov-06 18:28:38 | 46.9K | application/vnd.debian.binary-package |
| agda_2.2.10-3build1.debian.tar.gz | 2011-Jul-10 00:06:11 | 7.4K | application/gzip |
| agda_2.2.10-3build1.dsc | 2011-Jul-10 00:06:11 | 3.1K | application/octet-stream |
| agda_2.2.10-3build1_all.deb | 2011-Jul-10 00:06:18 | 2.9K | application/vnd.debian.binary-package |
| agda_2.2.10.orig.tar.gz | 2011-Feb-24 20:05:22 | 505.6K | application/gzip |
| agda_2.2.6-3.diff.gz | 2010-Mar-04 16:05:53 | 5.2K | application/gzip |
| agda_2.2.6-3.dsc | 2010-Mar-04 16:05:53 | 2.7K | application/octet-stream |
| agda_2.2.6.orig.tar.gz | 2010-Feb-02 23:04:57 | 414.4K | application/gzip |
| agda_2.3.0.1-1build2.debian.tar.gz | 2012-Apr-21 18:33:50 | 6.4K | application/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/vnd.debian.binary-package |
| agda_2.3.0.1-2build1.debian.tar.gz | 2012-Aug-27 14:33:19 | 6.8K | application/gzip |
| agda_2.3.0.1-2build1.dsc | 2012-Aug-27 14:33:19 | 2.9K | application/octet-stream |
| agda_2.3.0.1-2build1_all.deb | 2012-Aug-27 14:33:19 | 2.9K | application/vnd.debian.binary-package |
| agda_2.3.0.1.orig.tar.gz | 2012-Mar-18 13:03:33 | 597.9K | application/gzip |
| agda_2.3.2-1.debian.tar.gz | 2013-Apr-10 19:33:39 | 7.0K | application/gzip |
| agda_2.3.2-1.dsc | 2013-Apr-10 19:33:39 | 3.3K | application/octet-stream |
| agda_2.3.2-1_all.deb | 2013-Apr-10 20:03:25 | 2.9K | application/vnd.debian.binary-package |
| agda_2.3.2.1-1.debian.tar.gz | 2013-Jun-17 01:33:29 | 7.0K | application/gzip |
| agda_2.3.2.1-1.dsc | 2013-Jun-17 01:33:29 | 3.2K | application/octet-stream |
| agda_2.3.2.1-1_all.deb | 2013-Jun-17 02:03:35 | 2.9K | application/vnd.debian.binary-package |
| agda_2.3.2.1.orig.tar.gz | 2013-Jun-17 01:33:29 | 712.9K | application/gzip |
| agda_2.3.2.2-1.debian.tar.gz | 2013-Nov-06 18:28:29 | 7.2K | application/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/vnd.debian.binary-package |
| agda_2.3.2.2.orig.tar.gz | 2013-Nov-06 18:28:29 | 1.9M | application/gzip |
| agda_2.3.2.orig.tar.gz | 2013-Apr-10 19:33:39 | 709.4K | application/gzip |
| haskell-agda-doc_2.2.6-3_all.deb | 2010-Mar-04 16:05:57 | 1.0M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.2.10-3build1_amd64.deb | 2011-Jul-10 00:06:18 | 10.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.2.10-3build1_i386.deb | 2011-Jul-10 00:06:31 | 9.7M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-1build2_amd64.deb | 2012-Apr-21 19:03:36 | 12.4M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-1build2_i386.deb | 2012-Apr-21 19:03:43 | 11.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2build1_amd64.deb | 2012-Aug-27 15:03:19 | 12.5M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.0.1-2build1_i386.deb | 2012-Aug-27 14:33:23 | 11.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.2-1_amd64.deb | 2013-Apr-10 20:03:26 | 12.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.2-1_i386.deb | 2013-Apr-10 20:03:31 | 12.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.2.1-1_amd64.deb | 2013-Jun-17 02:03:34 | 12.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.2.1-1_i386.deb | 2013-Jun-17 02:03:45 | 12.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.2.2-1_amd64.deb | 2013-Nov-06 18:28:35 | 12.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.3.2.2-1_i386.deb | 2013-Nov-06 18:28:55 | 12.3M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.2.10-3build1_all.deb | 2011-Jul-10 00:06:17 | 1.4M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.3.0.1-1build2_all.deb | 2012-Apr-21 19:03:30 | 1.6M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.3.0.1-2build1_all.deb | 2012-Aug-27 14:33:19 | 1.7M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.3.2-1_all.deb | 2013-Apr-10 20:03:25 | 2.0M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.3.2.1-1_all.deb | 2013-Jun-17 02:03:35 | 2.0M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.3.2.2-1_all.deb | 2013-Nov-06 18:28:38 | 2.0M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-3_amd64.deb | 2010-Mar-04 16:05:59 | 9.5M | application/vnd.debian.binary-package |
| libghc6-agda-dev_2.2.6-3_i386.deb | 2010-Mar-04 16:06:10 | 9.0M | application/vnd.debian.binary-package |
| libghc6-agda-prof_2.2.6-3_amd64.deb | 2010-Mar-04 16:05:59 | 14.1M | application/vnd.debian.binary-package |
| libghc6-agda-prof_2.2.6-3_i386.deb | 2010-Mar-04 16:06:10 | 12.9M | application/vnd.debian.binary-package |