[coq] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Sat Jun 7 05:54:37 UTC 2014
commit 6c366b86fcf2ff854b5efbb69afd51a0733f2a5f
Author: Dennis Gilmore <dennis at ausil.us>
Date: Sat Jun 7 00:54:47 2014 -0500
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
coq.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index c95dddd..8b752e0 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
Name: coq
Version: 8.4pl4
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Proof management system
License: LGPLv2
@@ -300,6 +300,9 @@ mktexlsr &> /dev/null
%{_emacs_sitelispdir}/coq/*.el
%changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 8.4pl4-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
* Tue May 13 2014 Jerry James <loganjerry at gmail.com> - 8.4pl4-1
- New upstream release
More information about the scm-commits
mailing list