|
|
|
@ -1,4 +1,4 @@
|
|
|
|
|
# generated by cabal-rpm-1.0.1
|
|
|
|
|
# generated by cabal-rpm-2.0.2
|
|
|
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
|
|
|
|
|
|
%global pkg_name quickcheck-io
|
|
|
|
@ -6,7 +6,7 @@
|
|
|
|
|
|
|
|
|
|
Name: ghc-%{pkg_name}
|
|
|
|
|
Version: 0.2.0
|
|
|
|
|
Release: 10%{?dist}
|
|
|
|
|
Release: 11%{?dist}
|
|
|
|
|
Summary: Use HUnit assertions as QuickCheck properties
|
|
|
|
|
|
|
|
|
|
License: MIT
|
|
|
|
@ -44,6 +44,7 @@ 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.
|
|
|
|
@ -54,6 +55,7 @@ This package provides the Haskell %{pkg_name} library documentation.
|
|
|
|
|
%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.
|
|
|
|
@ -78,6 +80,16 @@ This package provides the Haskell %{pkg_name} profiling library.
|
|
|
|
|
# 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
|
|
|
|
@ -89,6 +101,7 @@ This package provides the Haskell %{pkg_name} profiling library.
|
|
|
|
|
|
|
|
|
|
%if %{with haddock}
|
|
|
|
|
%files doc -f %{name}-doc.files
|
|
|
|
|
%license LICENSE
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ -98,6 +111,9 @@ This package provides the Haskell %{pkg_name} profiling library.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%changelog
|
|
|
|
|
* Wed Feb 19 2020 Jens Petersen <petersen@redhat.com> - 0.2.0-11
|
|
|
|
|
- refresh to cabal-rpm-2.0.2
|
|
|
|
|
|
|
|
|
|
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.0-10
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|