[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