[emacs-common-proofgeneral] - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Wed Jul 18 23:17:44 UTC 2012
commit 979d07cf47054b99f4b7a04284ec6acc6a639deb
Author: Dennis Gilmore <dennis at ausil.us>
Date: Wed Jul 18 18:17:42 2012 -0500
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
emacs-common-proofgeneral.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/emacs-common-proofgeneral.spec b/emacs-common-proofgeneral.spec
index 69d892f..510fda4 100644
--- a/emacs-common-proofgeneral.spec
+++ b/emacs-common-proofgeneral.spec
@@ -32,7 +32,7 @@
Name: emacs-common-%{pkg}
Version: 3.7.1
-Release: 6%{?dist}
+Release: 7%{?dist}
Summary: Emacs mode for standard interaction interface for proof assistants
Group: Applications/Editors
@@ -249,6 +249,9 @@ fi
%{xemacs_lispdir}/%{pkg}/*/*.el
%changelog
+* Wed Jul 18 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 3.7.1-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
* Fri Jan 13 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 3.7.1-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
More information about the scm-commits
mailing list