[why3] - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Sun Jul 22 03:34:01 UTC 2012
commit b2ae0aea25420cbfb22e4f0147b02ebbb8032741
Author: Dennis Gilmore <dennis at ausil.us>
Date: Sat Jul 21 22:34:00 2012 -0500
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
why3.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index 7be581d..df5937b 100644
--- a/why3.spec
+++ b/why3.spec
@@ -5,7 +5,7 @@
Name: why3
Version: 0.71
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Software verification platform
License: LGPLv2 with exceptions
@@ -173,6 +173,9 @@ popd
%files all
%changelog
+* Sun Jul 22 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.71-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
* Thu Apr 19 2012 Jerry James <loganjerry at gmail.com> - 0.71-2
- Add missing sqlite-devel BR
- Do not move the coq plugin
More information about the scm-commits
mailing list