rpms / coq

Clone
Source Code
GIT

00b5763 Fix bug when building documentation

Authored and Committed by rjones 2 years ago
raw patch tree parent
2 files changed. 45 lines added. 0 lines removed.
16193.patch
file added
+41
coq.spec
file modified
+4 -0 
    Fix bug when building documentation
    
    https://github.com/coq/coq/pull/16193
file added
+41
file modified
+4 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.