rpms/zenon/devel .cvsignore, 1.2, 1.3 sources, 1.2, 1.3 zenon.spec, 1.6, 1.7

[Ville Skyttä]

Author: scop

Update of /cvs/pkgs/rpms/zenon/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv6900

Modified Files:
	.cvsignore sources zenon.spec 
Log Message:
* Tue Aug 11 2009 Ville Skyttä <ville.skytta at iki.fi> - 0.5.0-6
- Use bzipped upstream tarball.

https://www.redhat.com/archives/fedora-devel-list/2009-August/msg00563.html



Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/zenon/devel/.cvsignore,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- .cvsignore	21 Jul 2008 16:40:45 -0000	1.2
+++ .cvsignore	12 Aug 2009 19:50:31 -0000	1.3
@@ -1 +1 @@
-zenon-0.5.0.tar.gz
+zenon-0.5.0.tar.bz2


Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/zenon/devel/sources,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- sources	21 Jul 2008 16:40:45 -0000	1.2
+++ sources	12 Aug 2009 19:50:31 -0000	1.3
@@ -1 +1 @@
-d5440999c6f92d436a1d1e96d4ffbd56  zenon-0.5.0.tar.gz
+3b5496aac11aa401ffccb422c866a4b6  zenon-0.5.0.tar.bz2


Index: zenon.spec
===================================================================
RCS file: /cvs/pkgs/rpms/zenon/devel/zenon.spec,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- zenon.spec	27 Jul 2009 09:00:14 -0000	1.6
+++ zenon.spec	12 Aug 2009 19:50:31 -0000	1.7
@@ -1,11 +1,11 @@
 Name:		zenon
 Version:	0.5.0
-Release:	5%{?dist}.1
+Release:	6%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
 URL:		http://focal.inria.fr/zenon
-Source0:	http://focal.inria.fr/zenon/zenon-0.5.0.tar.gz
+Source0:	http://focal.inria.fr/zenon/zenon-0.5.0.tar.bz2
 Source1:	zenon-tptp-COM003+2.p
 Source2:	zenon-tptp-ReadMe
 # Basic documentation (man pages). Submitted upstream 2008-07-25:
@@ -115,6 +115,9 @@ rm -rf %{buildroot}
 
 
 %changelog
+* Tue Aug 11 2009 Ville Skyttä <ville.skytta at iki.fi> - 0.5.0-6
+- Use bzipped upstream tarball.
+
 * Mon Jul 27 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.5.0-5.1
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild