emacs-common-proofgeneral

Package doesn't exist in selected collection EPEL 7. Please select a different one.
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues