[emacs-common-proofgeneral] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Dennis Gilmore ausil at fedoraproject.org
Sat Jun 7 10:12:17 UTC 2014


commit d0927867404acf6edf5d01387eca95b81a887dd8
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Sat Jun 7 05:12:28 2014 -0500

    - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_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 f2aa346..426bc3b 100644
--- a/emacs-common-proofgeneral.spec
+++ b/emacs-common-proofgeneral.spec
@@ -2,7 +2,7 @@
 
 Name:           emacs-common-%{pkg}
 Version:        4.2
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Emacs mode for standard interaction interface for proof assistants 
 
 Group:          Applications/Editors
@@ -196,6 +196,9 @@ fi
 %{_emacs_sitelispdir}/%{pkg}/*/*.el
 
 %changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 4.2-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
 * Thu Feb 27 2014 Jerry James <loganjerry at gmail.com> - 4.2-2
 - Add AppData file
 


More information about the scm-commits mailing list