[pkgdb] pvs-sbcl summary updated by kevin

Fedora PackageDB pkgdb at fedoraproject.org
Mon Jan 4 20:10:35 UTC 2010

Previous message (by thread): rpms/dnstop/devel .cvsignore, NONE, 1.1 Makefile, NONE, 1.1 sources, NONE, 1.1
Next message (by thread): [pkgdb] pvs-sbcl (Fedora, 11) updated by kevin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

kevin set package pvs-sbcl summary to Interactive theorem prover from SRI

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/packages/name/pvs-sbcl

Previous message (by thread): rpms/dnstop/devel .cvsignore, NONE, 1.1 Makefile, NONE, 1.1 sources, NONE, 1.1
Next message (by thread): [pkgdb] pvs-sbcl (Fedora, 11) updated by kevin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the fedora-extras-commits mailing list