# generated by cabal-rpm-2.0.5 # https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/ %global pkg_name IOSpec %global pkgver %{pkg_name}-%{version} Name: ghc-%{pkg_name} Version: 0.3.1.1 Release: 5%{?dist} Summary: A pure specification of the IO monad License: BSD Url: https://hackage.haskell.org/package/%{pkg_name} # Begin cabal-rpm sources: Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz # End cabal-rpm sources # Begin cabal-rpm deps: BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-QuickCheck-prof BuildRequires: ghc-Stream-prof BuildRequires: ghc-base-prof BuildRequires: ghc-mtl-prof # End cabal-rpm deps %description This package consists of several modules, that give a pure specification of functions in the IO monad. %package devel Summary: Haskell %{pkg_name} library development files Provides: %{name}-static = %{version}-%{release} Provides: %{name}-static%{?_isa} = %{version}-%{release} %if %{defined ghc_version} Requires: ghc-compiler = %{ghc_version} %endif Requires: %{name}%{?_isa} = %{version}-%{release} %description devel This package provides the Haskell %{pkg_name} library development files. %if %{with haddock} %package doc Summary: Haskell %{pkg_name} library documentation BuildArch: noarch %description doc This package provides the Haskell %{pkg_name} library documentation. %endif %if %{with ghc_prof} %package prof Summary: Haskell %{pkg_name} profiling library Requires: %{name}-devel%{?_isa} = %{version}-%{release} Supplements: (%{name}-devel and ghc-prof) %description prof This package provides the Haskell %{pkg_name} profiling library. %endif %prep # Begin cabal-rpm setup: %setup -q -n %{pkgver} # End cabal-rpm setup %build # Begin cabal-rpm build: %ghc_lib_build # End cabal-rpm build %install # Begin cabal-rpm install %ghc_lib_install # End cabal-rpm install %if 0%{?fedora} < 31 || 0%{?rhel} < 8 %post devel %ghc_pkg_recache %postun devel %ghc_pkg_recache %endif %files -f %{name}.files # Begin cabal-rpm files: %license LICENSE # End cabal-rpm files %files devel -f %{name}-devel.files %doc README examples %if %{with haddock} %files doc -f %{name}-doc.files %license LICENSE %endif %if %{with ghc_prof} %files prof -f %{name}-prof.files %endif %changelog * Wed Feb 19 2020 Jens Petersen - 0.3.1.1-5 - refresh to cabal-rpm-2.0.2 * Tue Jan 28 2020 Fedora Release Engineering - 0.3.1.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Aug 01 2019 Jens Petersen - 0.3.1.1-3 - add doc and prof subpackages (cabal-rpm-1.0.0) * Thu Jul 25 2019 Fedora Release Engineering - 0.3.1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Feb 21 2019 Jens Petersen - 0.3.1.1-1 - update to 0.3.1.1 * Sun Feb 17 2019 Jens Petersen - 0.3-11 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering - 0.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jul 28 2018 Jens Petersen - 0.3-9 - rebuild * Fri Jul 13 2018 Fedora Release Engineering - 0.3-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Feb 07 2018 Fedora Release Engineering - 0.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Jan 26 2018 Jens Petersen - 0.3-6 - rebuild * Wed Aug 02 2017 Fedora Release Engineering - 0.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 0.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Fri Feb 24 2017 Jens Petersen - 0.3-3 - refresh to cabal-rpm-0.11.1 * Fri Feb 10 2017 Fedora Release Engineering - 0.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Jun 23 2016 Jens Petersen - 0.3-1 - update to 0.3 * Wed Feb 03 2016 Fedora Release Engineering - 0.2.5-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Jun 17 2015 Fedora Release Engineering - 0.2.5-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Thu Apr 2 2015 Jens Petersen - 0.2.5-9 - rebuild * Wed Jan 28 2015 Jens Petersen - 0.2.5-8 - cblrpm refresh * Sat Aug 16 2014 Fedora Release Engineering - 0.2.5-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Jun 07 2014 Fedora Release Engineering - 0.2.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sat Aug 03 2013 Fedora Release Engineering - 0.2.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Fri Jun 07 2013 Jens Petersen - 0.2.5-4 - update to new simplified Haskell Packaging Guidelines * Wed Feb 13 2013 Fedora Release Engineering - 0.2.5-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Sun Nov 18 2012 Jens Petersen - 0.2.5-2 - update with cabal-rpm * Mon Jul 9 2012 Shakthi Kannan - 0.2.5-1 - Added BRs - Spec file template generated by cabal2spec-0.25.5