rpms/zenon/devel zenon.spec,1.2,1.3
Jesse Keating
jkeating at fedoraproject.org
Wed Feb 25 18:36:35 UTC 2009
Author: jkeating
Update of /cvs/pkgs/rpms/zenon/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv551
Modified Files:
zenon.spec
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
Index: zenon.spec
===================================================================
RCS file: /cvs/pkgs/rpms/zenon/devel/zenon.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- zenon.spec 25 Jul 2008 19:45:12 -0000 1.2
+++ zenon.spec 25 Feb 2009 18:36:05 -0000 1.3
@@ -1,6 +1,6 @@
Name: zenon
Version: 0.5.0
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -114,6 +114,9 @@
%changelog
+* Wed Feb 25 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.5.0-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
+
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-3
- Add documentation for Zenon and its built-in format as man pages
(man pages used so Debian, etc., will use them too)
More information about the fedora-extras-commits
mailing list