rpms / coq

Clone
Source Code
GIT

0428b88 Version 8.11.1.

Authored and Committed by jjames 3 years ago
raw patch tree parent
4 files changed. 8 lines added. 134 lines removed.
0001-Add-support-for-OCaml-4.10.patch
file removed
-125
0001-Sphinx-3-support.patch0002-Sphinx-3-support.patch
file renamed
+0 -0
coq.spec
file modified
+7 -8
sources
file modified
+1 -1 
    Version 8.11.1.
    Drop upstreamed 0001-Add-support-for-OCaml-4.10.patch.
file removed
-125
0001-Sphinx-3-support.patch 0002-Sphinx-3-support.patch
file renamed
file was renamed with no change to the file
file modified
+7 -8
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.