rpms / ocaml-menhir

Clone
Source Code
GIT

059fdf0 Re-enable Coq bindings after OCaml bootstrap.

Authored and Committed by rjones 4 years ago
raw patch tree parent
1 file changed. 5 lines added. 2 lines removed.
ocaml-menhir.spec
file modified
+5 -2 
    Re-enable Coq bindings after OCaml bootstrap.
  • Build completed
    success
    Built as ocaml-menhir-20200211-3.fc33
    4 years ago
file modified
+5 -2
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.