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	1637
Builds	1 through 13 of 13 NVR Built by Finished State emacs-common-proofgeneral-4.5-7.fc40 davidlt 2024-03-19 13:50:54 emacs-common-proofgeneral-4.5-4.fc38 davidlt 2023-03-11 09:35:22 emacs-common-proofgeneral-4.5-5.fc39 davidlt 2023-11-27 11:56:48 emacs-common-proofgeneral-4.4-7.fc29 davidlt 2018-07-19 06:27:14 emacs-common-proofgeneral-4.4-6.fc29 davidlt 2018-06-08 01:22:50 emacs-common-proofgeneral-4.4-9.fc31 davidlt 2019-08-31 16:56:57 emacs-common-proofgeneral-4.4-10.fc32 davidlt 2020-03-27 10:08:12 emacs-common-proofgeneral-4.4-11.20200506gitea62543.fc33 davidlt 2020-06-03 17:29:04 emacs-common-proofgeneral-4.4-12.20200506gitea62543.fc33 davidlt 2020-08-13 12:10:25 emacs-common-proofgeneral-4.5-2.fc37 davidlt 2022-10-15 11:58:51 emacs-common-proofgeneral-4.4-1.fc25 kojiadmin 2018-04-14 19:53:17 emacs-common-proofgeneral-4.2-5.fc24 kojiadmin 2018-04-14 19:53:17 emacs-common-proofgeneral-4.4-3.fc27 kojiadmin 2018-04-14 19:53:18 Builds 1 through 13 of 13
Tags	1 through 11 of 11 Name Owner Included? Extra Arches f28 kojiadmin f29 kojiadmin f30 kojiadmin f31 kojiadmin f32 kojiadmin f33 kojiadmin f37 kojiadmin f38 kojiadmin f39 kojiadmin f40 kojiadmin f41 kojiadmin Tags 1 through 11 of 11