[pkgdb] Agda-stdlib summary updated by limb
Fedora PackageDB
pkgdb at fedoraproject.org
Mon Feb 10 13:20:09 UTC 2014
limb set package Agda-stdlib summary to Agda standard library
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/acls/name/Agda-stdlib
More information about the scm-commits
mailing list