[pkgdb] gappalib-coq summary updated by limb
Fedora PackageDB
pkgdb at fedoraproject.org
Thu Nov 3 01:29:03 UTC 2011
limb set package gappalib-coq summary to Coq support library for gappa
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/acls/name/gappalib-coq
More information about the scm-commits
mailing list