rpms / gappalib-coq

Clone
Source Code
GIT

7ad8a7e Adapt to change of nf_evars in coq 8.4.

Authored and Committed by Jerry James 11 years ago
raw patch tree parent
1 file changed. 3 lines added. 0 lines removed.
gappalib-coq.spec
file modified
+3 -0 
    Adapt to change of nf_evars in coq 8.4.
file modified
+3 -0
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.