Index of /repo_desktop_1.0/pool/Universe/a/agda-stdlib/

../
agda-stdlib-doc_0.7-1_all.deb                      26-Dec-2014 20:37             1748184
agda-stdlib_0.7-1.debian.tar.gz                    26-Dec-2014 20:37                4431
agda-stdlib_0.7-1.dsc                              26-Dec-2014 20:37                2077
agda-stdlib_0.7-1_all.deb                          26-Dec-2014 20:37            18142832
agda-stdlib_0.7.orig.tar.gz                        26-Dec-2014 20:37              226400