rpms/coq/F-8 coq.spec,1.3,1.4 import.log,1.3,1.4
Alan Dunn (amdunn)
fedora-extras-commits at redhat.com
Sun Jul 20 12:51:45 UTC 2008
- Previous message (by thread): rpms/tor/F-8 netfilter-ipv4.h, NONE, 1.1 tor-0.2.0.30-geoippath.patch, NONE, 1.1 update-geoip, NONE, 1.1
- Next message (by thread): rpms/tor/F-8 .cvsignore,1.3,1.4 lastver,1.3,1.4 sources,1.12,1.13
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Author: amdunn
Update of /cvs/pkgs/rpms/coq/F-8
In directory cvs-int.fedora.redhat.com:/tmp/cvs-serv15051/F-8
Modified Files:
coq.spec import.log
Log Message:
Changed tag to allow a proper commit.
Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/coq.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- coq.spec 20 Jul 2008 12:38:38 -0000 1.3
+++ coq.spec 20 Jul 2008 12:50:59 -0000 1.4
@@ -25,7 +25,7 @@
Name: coq
Version: 8.1pl3
-Release: 2%{?dist}
+Release: 2%{?dist}.1
Summary: Coq proof management system
Group: Applications/Engineering
@@ -292,6 +292,8 @@
%doc README.coq-emacs
%changelog
+* Sun Jul 20 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-2.1
+- Minor bump for Fedora 8 to bring it into line with the rest.
* Thu Jul 17 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-2
- Added check for Fedora distribution number to allow for Fedora 8 release.
* Wed Jun 14 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-1
Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/coq/F-8/import.log,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- import.log 20 Jul 2008 12:38:38 -0000 1.3
+++ import.log 20 Jul 2008 12:50:59 -0000 1.4
@@ -1,3 +1,4 @@
coq-8_1pl3-1_fc9:F-8:coq-8.1pl3-1.fc9.src.rpm:1216235027
coq-8_1pl3-2_fc9:F-8:coq-8.1pl3-2.fc9.src.rpm:1216316352
coq-8_1pl3-2_fc8:F-8:coq-8.1pl3-2.fc8.src.rpm:1216557367
+coq-8_1pl3-2_fc8_1:F-8:coq-8.1pl3-2.fc8.1.src.rpm:1216558147
- Previous message (by thread): rpms/tor/F-8 netfilter-ipv4.h, NONE, 1.1 tor-0.2.0.30-geoippath.patch, NONE, 1.1 update-geoip, NONE, 1.1
- Next message (by thread): rpms/tor/F-8 .cvsignore,1.3,1.4 lastver,1.3,1.4 sources,1.12,1.13
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the fedora-extras-commits
mailing list