fedora-ocaml

Clone
Source Code
GIT

f093afd testsuite/external: update coq, lablgtk, alt-ergo

Authored and Committed by Damien Doligez 10 years ago
raw patch tree parent
3 files changed. 93 lines added. 59 lines removed.
testsuite/external/.ignore
file modified
+5 -3
testsuite/external/Makefile
file modified
+77 -56
testsuite/external/coq-8.4pl2.patch
file added
+11 
    testsuite/external: update coq, lablgtk, alt-ergo
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
file modified
+5 -3
file modified
+77 -56
file added
+11
Powered by Pagure 5.13.3
Documentation • File an Issue • About • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.