rpms / coq

Clone
Source Code
GIT

a0a79b4 Enable documentation build with Sphinx 5+.

Authored and Committed by jjames 2 years ago
raw patch tree parent
2 files changed. 30 lines added. 0 lines removed.
16310.patch
file added
+22
coq.spec
file modified
+8 -0 
    Enable documentation build with Sphinx 5+.
    
    Change provided by Karolina Surma <ksurma@redhat.com>.
file added
+22
file modified
+8 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.