Index of /blankon/changelogs/pool/main/a/agda-stdlib/agda-stdlib_0.12-2/

../
changelog                                          27-Jun-2016 00:16    5666
copyright                                          27-Jun-2016 00:16    1727