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

      Name                                 Last modified      Size  Description
Parent Directory - agda-stdlib-doc_0.12-2_all.deb 2016-06-23 14:55 1.2M agda-stdlib-doc_0.17-1_all.deb 2018-11-23 20:48 1.3M agda-stdlib-doc_1.3-2_all.deb 2020-08-01 09:34 2.3M agda-stdlib_0.12-2.debian.tar.xz 2016-06-23 13:53 4.9K agda-stdlib_0.12-2.dsc 2016-06-23 13:53 2.1K agda-stdlib_0.12-2_all.deb 2016-06-23 14:55 16M agda-stdlib_0.12.orig.tar.gz 2016-06-20 04:47 248K agda-stdlib_0.17-1.debian.tar.xz 2018-11-23 20:07 5.2K agda-stdlib_0.17-1.dsc 2018-11-23 20:07 2.2K agda-stdlib_0.17-1_all.deb 2018-11-23 20:48 31M agda-stdlib_0.17.orig.tar.gz 2018-11-23 20:07 388K agda-stdlib_1.3-2.debian.tar.xz 2020-08-01 08:54 5.5K agda-stdlib_1.3-2.dsc 2020-08-01 08:54 2.1K agda-stdlib_1.3-2_all.deb 2020-08-01 09:34 70M agda-stdlib_1.3.orig.tar.gz 2020-07-31 07:50 734K