| Parent directory/ | - | - |
| agda-bin_2.3.2-1_i386.deb | 5M | 10-Apr-2013 18:03 |
| agda-mode_2.2.10-1~ubuntu1_all.deb | 39K | 24-Feb-2011 19:05 |
| agda-mode_2.2.10-3build1_all.deb | 39K | 09-Jul-2011 22:06 |
| agda-mode_2.2.4+dfsg-1_all.deb | 36K | 24-Aug-2009 13:05 |
| agda-mode_2.2.6-7build1_all.deb | 39K | 26-May-2010 09:04 |
| agda-mode_2.3.0.1-2build1_all.deb | 44K | 27-Aug-2012 12:33 |
| agda-mode_2.3.2-1_all.deb | 44K | 10-Apr-2013 18:03 |
| agda_2.2.10-3build1_all.deb | 2986 | 09-Jul-2011 22:06 |
| agda_2.3.0.1-2build1_all.deb | 3012 | 27-Aug-2012 12:33 |
| agda_2.3.2-1_all.deb | 2974 | 10-Apr-2013 18:03 |
| haskell-agda-doc_2.2.4+dfsg-1_all.deb | 948K | 24-Aug-2009 13:05 |
| libghc-agda-dev_2.2.10-3build1_i386.deb | 10M | 09-Jul-2011 22:06 |
| libghc-agda-dev_2.3.0.1-2build1_i386.deb | 12M | 27-Aug-2012 12:33 |
| libghc-agda-dev_2.3.2-1_i386.deb | 12M | 10-Apr-2013 18:03 |
| libghc-agda-doc_2.2.10-3build1_all.deb | 1M | 09-Jul-2011 22:06 |
| libghc-agda-doc_2.3.0.1-2build1_all.deb | 2M | 27-Aug-2012 12:33 |
| libghc-agda-doc_2.3.2-1_all.deb | 2M | 10-Apr-2013 18:03 |
| libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb | 10M | 24-Feb-2011 19:06 |
| libghc6-agda-dev_2.2.4+dfsg-1_i386.deb | 8M | 24-Aug-2009 13:05 |
| libghc6-agda-dev_2.2.6-7build1_i386.deb | 9M | 26-May-2010 09:05 |
| libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb | 1M | 24-Feb-2011 19:05 |
| libghc6-agda-doc_2.2.6-7build1_all.deb | 1M | 26-May-2010 09:04 |
| libghc6-agda-prof_2.2.4+dfsg-1_i386.deb | 12M | 24-Aug-2009 13:05 |