[pkgdb] emacs-common-proofgeneral was added for amdunn

[Fedora PackageDB]

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