Index of /pool/universe/a/agda-stdlib

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] agda-stdlib-doc_0.11-1_all.deb 2016-01-05 03:20 1.2M [   ] agda-stdlib-doc_0.14-1_all.deb 2017-11-26 20:04 1.0M [   ] agda-stdlib-doc_0.17-1_all.deb 2018-12-14 13:53 1.3M [   ] agda-stdlib-doc_0.6-2_all.deb 2012-03-19 00:03 1.6M [   ] agda-stdlib-doc_0.7-2_all.deb 2013-05-28 02:33 1.7M [   ] agda-stdlib_0.11-1.debian.tar.xz 2016-01-05 01:25 4.5K [TXT] agda-stdlib_0.11-1.dsc 2016-01-05 01:25 2.1K [   ] agda-stdlib_0.11-1_all.deb 2016-01-05 03:20 17M [   ] agda-stdlib_0.11.orig.tar.gz 2016-01-05 01:25 247K [   ] agda-stdlib_0.14-1.debian.tar.xz 2017-11-26 19:08 5.1K [TXT] agda-stdlib_0.14-1.dsc 2017-11-26 19:08 2.1K [   ] agda-stdlib_0.14-1_all.deb 2017-11-26 20:04 17M [   ] agda-stdlib_0.14.orig.tar.gz 2017-11-26 13:14 279K [   ] agda-stdlib_0.17-1.debian.tar.xz 2018-11-24 07:23 5.2K [TXT] agda-stdlib_0.17-1.dsc 2018-11-24 07:23 2.2K [   ] agda-stdlib_0.17-1_all.deb 2018-12-14 13:53 31M [   ] agda-stdlib_0.17.orig.tar.gz 2018-11-24 07:23 388K [   ] agda-stdlib_0.6-2.debian.tar.gz 2012-03-18 23:33 4.1K [TXT] agda-stdlib_0.6-2.dsc 2012-03-18 23:33 1.4K [   ] agda-stdlib_0.6-2_all.deb 2012-03-19 00:03 16M [   ] agda-stdlib_0.6.orig.tar.gz 2012-01-04 03:04 211K [   ] agda-stdlib_0.7-2.debian.tar.gz 2013-05-28 02:33 4.4K [TXT] agda-stdlib_0.7-2.dsc 2013-05-28 02:33 2.0K [   ] agda-stdlib_0.7-2_all.deb 2013-05-28 02:33 17M [   ] agda-stdlib_0.7.orig.tar.gz 2013-04-10 21:03 221K
Apache Server at ubuntu.ip-connect.vn.ua Port 80