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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 06-Aug-2020 12:00 - [TXT] agda-stdlib-doc_0.12..> 23-Jun-2016 20:55 1.2M [TXT] agda-stdlib-doc_0.17..> 24-Nov-2018 02:48 1.3M [TXT] agda-stdlib-doc_0.8-..> 12-Aug-2014 11:40 1.2M [TXT] agda-stdlib-doc_1.3-..> 01-Aug-2020 15:34 2.3M [   ] agda-stdlib_0.12-2.d..> 23-Jun-2016 19:53 5k [TXT] agda-stdlib_0.12-2.dsc 23-Jun-2016 19:53 2k [TXT] agda-stdlib_0.12-2_a..> 23-Jun-2016 20:55 16.3M [   ] agda-stdlib_0.12.ori..> 20-Jun-2016 10:47 248k [   ] agda-stdlib_0.17-1.d..> 24-Nov-2018 02:07 5k [TXT] agda-stdlib_0.17-1.dsc 24-Nov-2018 02:07 2k [TXT] agda-stdlib_0.17-1_a..> 24-Nov-2018 02:48 31.5M [   ] agda-stdlib_0.17.ori..> 24-Nov-2018 02:07 388k [   ] agda-stdlib_0.8-2.de..> 12-Aug-2014 11:40 4k [TXT] agda-stdlib_0.8-2.dsc 12-Aug-2014 11:40 2k [TXT] agda-stdlib_0.8-2_al..> 12-Aug-2014 11:40 22.4M [   ] agda-stdlib_0.8.orig..> 05-Aug-2014 11:28 240k [   ] agda-stdlib_1.3-2.de..> 01-Aug-2020 14:54 6k [TXT] agda-stdlib_1.3-2.dsc 01-Aug-2020 14:54 2k [TXT] agda-stdlib_1.3-2_al..> 01-Aug-2020 15:34 69.8M [   ] agda-stdlib_1.3.orig..> 31-Jul-2020 13:50 734k