repology.org
domain is back up, repology.amdmi3.ru will be discontinued on October 9th
Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Information for
emacs:common-proofgeneral
Versions
4.5
Package names
emacs-common-proofgeneral
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
Summaries
Emacs mode for standard interaction interface for proof assistants
Homepage links
https://proofgeneral.github.io/
All package recipes
https://src.fedoraproject.org/rpms/emacs-common-proofgeneral/blob/rawhide/f/emacs-common-proofgeneral.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/emacs-common-proofgeneral/4.5/15.20240912git1ffca70.fc45/data/logs/