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