[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