rpms/zenon/devel zenon.spec,1.5,1.6
Jesse Keating
jkeating at fedoraproject.org
Mon Jul 27 09:00:14 UTC 2009
Author: jkeating
Update of /cvs/pkgs/rpms/zenon/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv15144
Modified Files:
zenon.spec
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
Index: zenon.spec
===================================================================
RCS file: /cvs/pkgs/rpms/zenon/devel/zenon.spec,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- zenon.spec 15 Jun 2009 16:27:25 -0000 1.5
+++ zenon.spec 27 Jul 2009 09:00:14 -0000 1.6
@@ -1,6 +1,6 @@
Name: zenon
Version: 0.5.0
-Release: 4%{?dist}.1
+Release: 5%{?dist}.1
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -115,6 +115,9 @@ rm -rf %{buildroot}
%changelog
+* 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
+
* Mon Jun 15 2009 Karsten Hopp <karsten at redhat.com> 0.5.0-4.1
- ocaml not available on mainframes, add excludearch
More information about the fedora-extras-commits
mailing list