Index of /raspbian/pool/main/a/agda-stdlib

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]agda-stdlib-doc_0.8-2_all.deb12-Aug-2014 11:40 1.2M
[   ]agda-stdlib-doc_0.12-2_all.deb23-Jun-2016 20:55 1.2M
[   ]agda-stdlib-doc_0.17-1_all.deb24-Nov-2018 02:48 1.3M
[   ]agda-stdlib_0.8-2.debian.tar.xz12-Aug-2014 11:40 4.4K
[   ]agda-stdlib_0.8-2.dsc12-Aug-2014 11:40 2.0K
[   ]agda-stdlib_0.8-2_all.deb12-Aug-2014 11:40 22M
[   ]agda-stdlib_0.8.orig.tar.gz05-Aug-2014 11:28 240K
[   ]agda-stdlib_0.12-2.debian.tar.xz23-Jun-2016 19:53 4.9K
[   ]agda-stdlib_0.12-2.dsc23-Jun-2016 19:53 2.1K
[   ]agda-stdlib_0.12-2_all.deb23-Jun-2016 20:55 16M
[   ]agda-stdlib_0.12.orig.tar.gz20-Jun-2016 10:47 248K
[   ]agda-stdlib_0.17-1.debian.tar.xz24-Nov-2018 02:07 5.2K
[   ]agda-stdlib_0.17-1.dsc24-Nov-2018 02:07 2.2K
[   ]agda-stdlib_0.17-1_all.deb24-Nov-2018 02:48 31M
[   ]agda-stdlib_0.17.orig.tar.gz24-Nov-2018 02:07 388K