Index of /Mirrors/archive.tanglu.org/tanglu/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.3.2.2-1_amd64.deb2014-01-26 14:08 3.3M 
[   ]agda-bin_2.3.2.2-1_i386.deb2014-01-26 14:04 3.2M 
[   ]agda-bin_2.4.0.2-2b1_amd64.deb2014-08-22 21:12 3.7M 
[   ]agda-bin_2.4.0.2-2b1_i386.deb2014-08-22 05:25 3.6M 
[   ]agda-bin_2.4.0.2-2b2_amd64.deb2015-01-28 17:58 3.7M 
[   ]agda-bin_2.4.0.2-2b2_i386.deb2015-01-28 12:28 3.6M 
[   ]agda-bin_2.4.2.5-1_amd64.deb2016-06-30 19:58 4.6M 
[   ]agda-bin_2.4.2.5-1_i386.deb2016-06-30 19:33 4.6M 
[   ]agda-mode_2.3.2.2-1_all.deb2014-01-26 14:08 47K 
[   ]agda-mode_2.4.0.2-2b1_all.deb2014-08-22 21:12 87K 
[   ]agda-mode_2.4.0.2-2b2_all.deb2015-01-28 17:58 87K 
[   ]agda-mode_2.4.2.5-1_all.deb2016-06-30 19:58 94K 
[   ]agda_2.3.2.2-1.debian.tar.gz2013-11-07 18:01 7.2K 
[TXT]agda_2.3.2.2-1.dsc2013-11-07 18:01 3.2K 
[   ]agda_2.3.2.2-1_all.deb2014-01-26 14:08 17K 
[   ]agda_2.3.2.2.orig.tar.gz2013-11-07 18:01 1.9M 
[   ]agda_2.4.0.2-2b1.debian.tar.xz2014-08-22 04:56 7.3K 
[TXT]agda_2.4.0.2-2b1.dsc2014-08-22 04:56 3.8K 
[   ]agda_2.4.0.2-2b1_all.deb2014-08-22 21:12 55K 
[   ]agda_2.4.0.2-2b2.debian.tar.xz2015-01-28 11:38 7.3K 
[TXT]agda_2.4.0.2-2b2.dsc2015-01-28 11:38 3.8K 
[   ]agda_2.4.0.2-2b2_all.deb2015-01-28 17:58 55K 
[   ]agda_2.4.0.2.orig.tar.gz2014-08-16 02:27 889K 
[   ]agda_2.4.2.5-1.debian.tar.xz2016-01-04 14:00 7.6K 
[TXT]agda_2.4.2.5-1.dsc2016-01-04 14:00 3.7K 
[   ]agda_2.4.2.5-1_all.deb2016-06-30 19:58 62K 
[   ]agda_2.4.2.5.orig.tar.gz2016-01-04 14:00 1.0M 
[   ]libghc-agda-dev_2.3.2.2-1_amd64.deb2014-01-26 14:08 7.6M 
[   ]libghc-agda-dev_2.3.2.2-1_i386.deb2014-01-26 14:03 7.5M 
[   ]libghc-agda-dev_2.4.0.2-2b1_amd64.deb2014-08-22 21:12 9.3M 
[   ]libghc-agda-dev_2.4.0.2-2b1_i386.deb2014-08-22 05:25 9.2M 
[   ]libghc-agda-dev_2.4.0.2-2b2_amd64.deb2015-01-28 17:58 9.3M 
[   ]libghc-agda-dev_2.4.0.2-2b2_i386.deb2015-01-28 12:28 9.2M 
[   ]libghc-agda-dev_2.4.2.5-1_amd64.deb2016-06-30 19:58 10M 
[   ]libghc-agda-dev_2.4.2.5-1_i386.deb2016-06-30 19:33 10M 
[   ]libghc-agda-doc_2.3.2.2-1_all.deb2014-01-26 14:08 1.4M 
[   ]libghc-agda-doc_2.4.0.2-2b1_all.deb2014-08-22 21:12 1.9M 
[   ]libghc-agda-doc_2.4.0.2-2b2_all.deb2015-01-28 17:58 1.9M 
[   ]libghc-agda-doc_2.4.2.5-1_all.deb2016-06-30 19:58 2.1M 

Apache/2.4.58 (Fedora Linux) Server at ftp-stud.hs-esslingen.de Port 80