Information for package emacs-common-proofgeneral

Nameemacs-common-proofgeneral
ID18036
Builds
1 through 1 of 1
NVR Built by Finished descending sort State
emacs-common-proofgeneral-4.5-10.20240912git1ffca70.fc42 davidlt 2025-06-09 16:12:13 complete
Builds 1 through 1 of 1
Tags
1 through 1 of 1
Name ascending sort Owner Included? Extra Arches
f42 davidlt yes
Tags 1 through 1 of 1