packages: coq/coq.spec - rel 1
baggins
baggins at pld-linux.org
Fri Apr 8 21:44:34 CEST 2011
Author: baggins Date: Fri Apr 8 19:44:34 2011 GMT
Module: packages Tag: HEAD
---- Log message:
- rel 1
---- Files affected:
packages/coq:
coq.spec (1.23 -> 1.24)
---- Diffs:
================================================================
Index: packages/coq/coq.spec
diff -u packages/coq/coq.spec:1.23 packages/coq/coq.spec:1.24
--- packages/coq/coq.spec:1.23 Fri Apr 8 20:51:59 2011
+++ packages/coq/coq.spec Fri Apr 8 21:44:29 2011
@@ -10,7 +10,7 @@
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.3pl1
-Release: 0.1
+Release: 1
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
@@ -169,6 +169,9 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.24 2011/04/08 19:44:29 baggins
+- rel 1
+
Revision 1.23 2011/04/08 18:51:59 baggins
- package installed docs
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq.spec?r1=1.23&r2=1.24&f=u
More information about the pld-cvs-commit
mailing list