petersen uploaded agda-stdlib-0.9.tar.gz for Agda-stdlib
notifications at fedoraproject.org
notifications at fedoraproject.org
Fri Apr 17 02:11:44 UTC 2015
d22adf380b33b401e786132a4bfc8597 agda-stdlib-0.9.tar.gz
http://pkgs.fedoraproject.org/lookaside/pkgs/Agda-stdlib/agda-stdlib-0.9.tar.gz/d22adf380b33b401e786132a4bfc8597/agda-stdlib-0.9.tar.gz
More information about the scm-commits
mailing list