summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
a47b241)
Changed files:
coq.spec -> 1.3
-# This file has been generated from RH/coq.spec.tpl
-# Do not edit
+Summary: The Coq Proof Assistant
Name: coq
Version: 7.4
Release: 1
Name: coq
Version: 7.4
Release: 1
-Summary: The Coq Proof Assistant
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt