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-5.fc39 davidlt 2023-11-27 11:56:48 emacs-common-proofgeneral-4.5-4.fc38 davidlt 2023-03-11 09:35:22 emacs-common-proofgeneral-4.5-2.fc37 davidlt 2022-10-15 11:58:51 emacs-common-proofgeneral-4.4-12.20200506gitea62543.fc33 davidlt 2020-08-13 12:10:25 emacs-common-proofgeneral-4.4-11.20200506gitea62543.fc33 davidlt 2020-06-03 17:29:04 emacs-common-proofgeneral-4.4-10.fc32 davidlt 2020-03-27 10:08:12 emacs-common-proofgeneral-4.4-9.fc31 davidlt 2019-08-31 16:56:57 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-3.fc27 kojiadmin 2018-04-14 19:53:18 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 Builds 1 through 13 of 13
Tags	1 through 10 of 10 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 Tags 1 through 10 of 10