emacs-common-proofgeneral

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