[Agda] - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Wed Feb 13 14:45:38 UTC 2013
commit 3b28604955df7ee3743a72a1373d4245d3aba824
Author: Dennis Gilmore <dennis at ausil.us>
Date: Wed Feb 13 08:45:29 2013 -0600
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
Agda.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 52cd82d..4c636ce 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -5,7 +5,7 @@
Name: Agda
Version: 2.3.0.1
-Release: 5%{?dist}
+Release: 6%{?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
+* Wed Feb 13 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.0.1-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
+
* Tue Dec 25 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-5
- rebuild
More information about the scm-commits
mailing list