Index of /anvil/pool/universe/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libghc-agda-dev_2.3.2-1_amd64.deb2013-05-05 15:56 13M 
[ ]libghc-agda-dev_2.3.2.2-1_amd64.deb2014-04-15 10:53 13M 
[ ]libghc-agda-dev_2.3.2.1-1_amd64.deb2013-10-06 01:36 13M 
[ ]libghc-agda-dev_2.3.0.1-2build1_amd64.deb2012-10-08 03:48 13M 
[ ]libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-04-22 01:49 12M 
[ ]libghc-agda-dev_2.3.2-1_i386.deb2013-04-27 16:25 12M 
[ ]libghc-agda-dev_2.3.2.2-1_i386.deb2014-04-05 17:34 12M 
[ ]libghc-agda-dev_2.3.2.1-1_i386.deb2013-09-27 06:15 12M 
[ ]libghc-agda-dev_2.3.0.1-2build1_i386.deb2012-09-30 07:01 12M 
[ ]libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-04-22 01:47 12M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb2011-02-24 22:05 11M 
[ ]libghc-agda-dev_2.2.10-3build1_amd64.deb2011-08-13 07:48 10M 
[ ]libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb2011-02-24 19:06 10M 
[ ]libghc-agda-dev_2.2.10-3build1_i386.deb2011-08-13 07:48 9.7M 
[ ]libghc-agda-dev_2.4.0.2-2_amd64.deb2014-12-31 08:19 9.3M 
[ ]libghc-agda-dev_2.4.0.2-2build1_amd64.deb2015-05-12 18:37 9.3M 
[ ]libghc-agda-dev_2.4.0.2-2build1_i386.deb2015-05-01 12:39 9.2M 
[ ]libghc-agda-dev_2.4.0.2-2_i386.deb2014-12-20 21:44 9.2M 
[ ]agda-bin_2.3.2.2-1_amd64.deb2014-04-15 10:53 5.2M 
[ ]agda-bin_2.3.2.1-1_amd64.deb2013-10-06 01:36 5.1M 
[ ]agda-bin_2.3.2-1_amd64.deb2013-05-05 15:56 5.1M 
[ ]agda-bin_2.3.2.2-1_i386.deb2014-04-05 17:34 4.9M 
[ ]agda-bin_2.3.2.1-1_i386.deb2013-09-27 06:16 4.7M 
[ ]agda-bin_2.3.2-1_i386.deb2013-04-27 16:25 4.7M 
[ ]agda-bin_2.4.0.2-2build1_amd64.deb2015-05-12 18:36 3.7M 
[ ]agda-bin_2.4.0.2-2_amd64.deb2014-12-31 08:20 3.7M 
[ ]agda-bin_2.4.0.2-2build1_i386.deb2015-05-01 12:40 3.6M 
[ ]agda-bin_2.4.0.2-2_i386.deb2014-12-20 21:42 3.6M 
[ ]libghc-agda-doc_2.3.2.2-1_all.deb2014-04-05 17:35 2.1M 
[ ]libghc-agda-doc_2.3.2-1_all.deb2013-04-27 16:24 2.1M 
[ ]libghc-agda-doc_2.3.2.1-1_all.deb2013-09-27 06:15 2.1M 
[ ]libghc-agda-doc_2.4.0.2-2_all.deb2014-12-20 21:42 1.8M 
[ ]libghc-agda-doc_2.4.0.2-2build1_all.deb2015-05-01 12:39 1.8M 
[ ]libghc-agda-doc_2.3.0.1-2build1_all.deb2012-09-30 07:02 1.7M 
[ ]libghc-agda-doc_2.3.0.1-1build2_all.deb2012-04-22 01:48 1.6M 
[ ]libghc-agda-doc_2.2.10-3build1_all.deb2011-08-13 07:48 1.4M 
[ ]libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb2011-02-24 19:05 1.2M 
[ ]agda_2.4.0.2.orig.tar.gz2015-01-05 00:51 889K 
[ ]agda_2.3.0.1.orig.tar.gz2012-03-21 14:30 598K 
[ ]agda_2.2.10.orig.tar.gz2011-02-24 19:05 506K 
[ ]agda-mode_2.3.2.2-1_all.deb2014-04-05 17:35 47K 
[ ]agda-mode_2.3.2-1_all.deb2013-04-27 16:26 44K 
[ ]agda-mode_2.3.0.1-2build1_all.deb2012-09-30 07:01 44K 
[ ]agda-mode_2.3.2.1-1_all.deb2013-09-27 06:14 44K 
[ ]agda-mode_2.3.0.1-1build2_all.deb2012-04-22 01:47 40K 
[ ]agda-mode_2.4.0.2-2_all.deb2014-12-20 21:43 39K 
[ ]agda-mode_2.4.0.2-2build1_all.deb2015-05-01 12:41 39K 
[ ]agda-mode_2.2.10-1~ubuntu1_all.deb2011-02-24 19:05 39K 
[ ]agda-mode_2.2.10-3build1_all.deb2011-08-13 07:48 39K 
[ ]agda_2.2.10-1~ubuntu1.debian.tar.gz2011-02-24 19:05 8.2K 
[ ]agda_2.2.10-3build1.debian.tar.gz2011-08-13 07:47 7.5K 
[ ]agda_2.4.0.2-2build1.debian.tar.xz2015-05-17 05:05 7.2K 
[ ]agda_2.4.0.2-2.debian.tar.xz2015-01-05 00:51 7.2K 
[ ]agda_2.3.0.1-2build1.debian.tar.gz2012-09-26 12:35 6.8K 
[ ]agda_2.3.0.1-1build2.debian.tar.gz2012-04-22 01:46 6.5K 
[ ]agda_2.4.0.2-2build1.dsc2015-05-17 05:05 3.9K 
[ ]agda_2.4.0.2-2.dsc2015-01-05 00:51 3.8K 
[ ]agda_2.2.10-3build1.dsc2011-08-13 07:47 3.1K 
[ ]agda_2.2.10-1~ubuntu1.dsc2011-02-24 19:05 3.1K 
[ ]agda_2.3.0.1-2build1.dsc2012-09-26 12:35 3.0K 
[ ]agda_2.3.0.1-1build2.dsc2012-04-22 01:46 3.0K 
[ ]agda_2.4.0.2-2build1_all.deb2015-05-01 12:40 3.0K 
[ ]agda_2.4.0.2-2_all.deb2014-12-20 21:43 3.0K 
[ ]agda_2.3.0.1-2build1_all.deb2012-09-30 07:01 2.9K 
[ ]agda_2.3.2.2-1_all.deb2014-04-05 17:36 2.9K 
[ ]agda_2.2.10-3build1_all.deb2011-08-13 07:47 2.9K 
[ ]agda_2.3.0.1-1build2_all.deb2012-04-22 01:46 2.9K 
[ ]agda_2.3.2.1-1_all.deb2013-09-27 06:14 2.9K 
[ ]agda_2.3.2-1_all.deb2013-04-27 16:25 2.9K