emacs-common-proofgeneral | Package Info | ISCAS openkoji system

fedora

Click here to visit the old openkoji buildsystem (Archived)

Information for package emacs-common-proofgeneral

Name

emacs-common-proofgeneral

ID

2566

Builds

NVR	Built by	Finished	State
1 through 5 of 5
emacs-common-proofgeneral-4.5-10.20240912git1ffca70.fc42	kojiadmin	2025-03-05 22:08:54
emacs-common-proofgeneral-4.5-9.20240912git1ffca70.fc41	kojiadmin	2024-09-30 06:37:52
emacs-common-proofgeneral-4.5-8.fc41	kojiadmin	2024-09-06 00:32:21
emacs-common-proofgeneral-4.5-7.fc40	kojiadmin	2024-05-03 06:09:00
emacs-common-proofgeneral-4.5-7.fc41	kojiadmin	2024-05-01 22:41:47

Builds 1 through 5 of 5

Name	Owner	Included?	Extra Arches
1 through 5 of 5
f38	kojiadmin
f39	kojiadmin
f40	kojiadmin
f41	kojiadmin
f42	kojiadmin

Tags 1 through 5 of 5