Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for package emacs-common-proofgeneral

Name	emacs-common-proofgeneral
ID	21113
Builds	1 through 1 of 1 NVR Built by Finished State emacs-common-proofgeneral-4.5-15.20240912git1ffca70.fc45 guoguo 2026-10-13 12:44:55 Builds 1 through 1 of 1
Tags	1 through 2 of 2 Name Owner Included? Extra Arches f44 kojiadmin f45 kojiadmin Tags 1 through 2 of 2