[Agda] rebuild
Jens Petersen
petersen at fedoraproject.org
Tue Dec 25 05:44:24 UTC 2012
commit e9c90f6ee6af6caaa6d8e24bddde2f390503d93f
Author: Jens Petersen <petersen at redhat.com>
Date: Tue Dec 25 14:44:18 2012 +0900
rebuild
Agda.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 6717c37..52cd82d 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -5,7 +5,7 @@
Name: Agda
Version: 2.3.0.1
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Command-line program for type-checking and compiling Agda programs
License: MIT
@@ -42,6 +42,9 @@ For the interactive environment please install emacs-agda instead.
%changelog
+* Tue Dec 25 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-5
+- rebuild
+
* Thu Dec 6 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-4
- remove ExclusiveArch ghc_arches_with_ghci
More information about the scm-commits
mailing list