rpms / coq

Clone
Source Code
GIT

4350e58 Add support for OCaml 4.10.

Authored and Committed by rjones 4 years ago
raw patch tree parent
2 files changed. 47 lines added. 0 lines removed.
0001-Add-support-for-OCaml-4.10.patch
file added
+43
coq.spec
file modified
+4 -0 
    Add support for OCaml 4.10.
  • Build failed
    failure
    Built as coq-8.9.1-12.fc32
    4 years ago
file added
+43
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.