[pkgdb] emacs-common-proofgeneral was added for amdunn
Fedora PackageDB
pkgdb at fedoraproject.org
Fri Jul 31 21:14:09 UTC 2009
tibbs has added Package emacs-common-proofgeneral with summary Emacs mode for standard interaction interface for proof assistants
tibbs has approved Package emacs-common-proofgeneral
tibbs has added a Fedora devel branch for emacs-common-proofgeneral with an owner of amdunn
tibbs has approved emacs-common-proofgeneral in Fedora devel
tibbs has approved Package emacs-common-proofgeneral
tibbs has set commit to Approved for 107427 on emacs-common-proofgeneral (Fedora devel)
tibbs has set checkout to Approved for 107427 on emacs-common-proofgeneral (Fedora devel)
tibbs has set build to Approved for 107427 on emacs-common-proofgeneral (Fedora devel)
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/packages/name/emacs-common-proofgeneral
More information about the fedora-extras-commits
mailing list