[Agda] cblrpm refresh

[Jens Petersen]

commit 558558bc01d8a246a67472c83efc6c1b167bb713
Author: Jens Petersen <petersen at redhat.com>
Date:   Fri Feb 6 21:46:37 2015 +0100

    cblrpm refresh

 Agda.spec |   11 ++++-------
 1 files changed, 4 insertions(+), 7 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 8c73b0e..98f406e 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -2,17 +2,14 @@
 
 %global pkg_name Agda
 
-# no useful debuginfo for Haskell packages without C sources
-%global debug_package %{nil}
-
 Name:           %{pkg_name}
 Version:        2.4.2
 Release:        1%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
-URL:            http://hackage.haskell.org/package/%{name}
-Source0:        http://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz
+Url:            https://hackage.haskell.org/package/%{name}
+Source0:        https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz
 Source1:        agda-mode-init.el
 
 BuildRequires:  ghc-Cabal-devel
@@ -217,11 +214,11 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
 %changelog
-* Wed Sep 03 2014 Jens Petersen <petersen at redhat.com> - 2.4.2-1
+* Fri Feb  6 2015 Jens Petersen <petersen at redhat.com> - 2.4.2-1
 - update to 2.4.2
-- refresh to cblrpm-0.8.11
 - needs new deps: STMonadTrans, boxes, data-hash, equivalence,
   and QuickCheck 2.7.5+
+- cblrpm refresh
 
 * 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