diff --git a/.gitignore b/.gitignore
index fabe765..9b93c22 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 /tagged-0.4.2.1.tar.gz
 /tagged-0.4.4.tar.gz
 /tagged-0.6.tar.gz
+/tagged-0.7.2.tar.gz
diff --git a/ghc-tagged.spec b/ghc-tagged.spec
index ac9514b..322238c 100644
--- a/ghc-tagged.spec
+++ b/ghc-tagged.spec
@@ -2,14 +2,17 @@
 
 %global pkg_name tagged
 
+# no useful debuginfo for Haskell packages without C sources
+%global debug_package %{nil}
+
 Name:           ghc-%{pkg_name}
-Version:        0.6
-Release:        2%{?dist}
+Version:        0.7.2
+Release:        1%{?dist}
 Summary:        Newtype wrappers for phantom types
 
 License:        BSD
 URL:            http://hackage.haskell.org/package/%{pkg_name}
-Source0:        http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
+Source0:        http://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
 
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
@@ -20,10 +23,11 @@ Haskell 98 phantom types to avoid unsafely passing dummy arguments.
 
 %package devel
 Summary:        Haskell %{pkg_name} library development files
+Provides:       %{name}-static = %{version}-%{release}
 Requires:       ghc-compiler = %{ghc_version}
 Requires(post): ghc-compiler = %{ghc_version}
 Requires(postun): ghc-compiler = %{ghc_version}
-Requires:       %{name} = %{version}-%{release}
+Requires:       %{name}%{?_isa} = %{version}-%{release}
 
 %description devel
 This package provides the Haskell %{pkg_name} library development files.
@@ -58,6 +62,9 @@ This package provides the Haskell %{pkg_name} library development files.
 
 
 %changelog
+* Sun Jun 01 2014 Jens Petersen <petersen@redhat.com> - 0.7.2-1
+- update to 0.7.2
+
 * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
 
diff --git a/sources b/sources
index c4ebb6e..6076f27 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-f8f43a49e8c311083d0e1515872c8d48  tagged-0.6.tar.gz
+2af8f69d5406f3eb059fcd4e5ebc2aa0  tagged-0.7.2.tar.gz