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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-stdlib-doc_0.7-2b1_all.deb2014-02-02 06:15 1.1M 
[   ]agda-stdlib-doc_0.8-2_all.deb2014-08-23 20:03 1.2M 
[   ]agda-stdlib-doc_0.11-1_all.deb2016-07-02 03:08 1.2M 
[   ]agda-stdlib_0.7-2b1.debian.tar.gz2014-02-02 05:49 4.5K 
[TXT]agda-stdlib_0.7-2b1.dsc2014-02-02 05:49 2.0K 
[   ]agda-stdlib_0.7-2b1_all.deb2014-02-02 06:15 17M 
[   ]agda-stdlib_0.7.orig.tar.gz2013-04-18 23:41 221K 
[   ]agda-stdlib_0.8-2.debian.tar.xz2014-08-16 02:27 4.4K 
[TXT]agda-stdlib_0.8-2.dsc2014-08-16 02:27 2.0K 
[   ]agda-stdlib_0.8-2_all.deb2014-08-23 20:03 22M 
[   ]agda-stdlib_0.8.orig.tar.gz2014-08-16 02:27 240K 
[   ]agda-stdlib_0.11-1.debian.tar.xz2016-01-04 14:05 4.5K 
[TXT]agda-stdlib_0.11-1.dsc2016-01-04 14:05 2.1K 
[   ]agda-stdlib_0.11-1_all.deb2016-07-02 03:08 17M 
[   ]agda-stdlib_0.11.orig.tar.gz2016-01-04 14:05 247K 

Apache/2.4.62 (Fedora Linux) Server at mirror.hs-esslingen.de Port 80