[Agda] rebuild
Jens Petersen
petersen at fedoraproject.org
Mon Sep 2 03:36:42 UTC 2013
commit 0ecfc193f98fc3c431f45ecef135f068dbdbb5ab
Author: Jens Petersen <petersen at redhat.com>
Date: Mon Sep 2 12:36:28 2013 +0900
rebuild
Agda.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index e30d303..19740bf 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
Name: %{pkg_name}
Version: 2.3.2.1
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@@ -214,6 +214,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
%changelog
+* Mon Sep 2 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-5
+- rebuild
+
* Thu Aug 29 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-4
- emacs agda-mode no longer depends on haskell-mode since 2.3.2
More information about the scm-commits
mailing list