[zenon] - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Fri Feb 15 04:18:42 UTC 2013
commit 82c686561205a7b1718f7f0f1a2f5c0a2a5de04a
Author: Dennis Gilmore <dennis at ausil.us>
Date: Thu Feb 14 22:18:39 2013 -0600
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
zenon.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 263350b..6ef0e0b 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
Name: zenon
Version: 0.7.1
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -109,6 +109,9 @@ fi
%{_mandir}/man5/*
%changelog
+* Fri Feb 15 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.7.1-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
+
* Mon Jan 7 2013 Jerry James <loganjerry at gmail.com> - 0.7.1-4
- Rebuild for coq 8.4pl1
More information about the scm-commits
mailing list