rpms / coq

Clone
Source Code
GIT

c384828 Version 8.12.1. Drop upstreamed sphinx 3 support patch.

Authored and Committed by jjames 3 years ago
raw patch tree parent
3 files changed. 7 lines added. 32 lines removed.
0001-Sphinx-3-support.patch
file removed
-19
coq.spec
file modified
+6 -12
sources
file modified
+1 -1 
    Version 8.12.1.  Drop upstreamed sphinx 3 support patch.
file removed
-19
file modified
+6 -12
file modified
+1 -1
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.