[Agda] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Peter Robinson
pbrobinson at fedoraproject.org
Fri Aug 15 18:10:01 UTC 2014
commit 2555551f5a0843e7fc792c7f89b53a22e3b02780
Author: Peter Robinson <pbrobinson at fedoraproject.org>
Date: Fri Aug 15 18:10:09 2014 +0000
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Agda.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index f462b76..7c447b3 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
Name: %{pkg_name}
Version: 2.3.2.2
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@@ -216,6 +216,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%changelog
+* Fri Aug 15 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.2.2-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
+
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.2.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
More information about the scm-commits
mailing list