66fff9aaee
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
136 lines
4.3 KiB
RPMSpec
136 lines
4.3 KiB
RPMSpec
# generated by cabal-rpm-0.12.1
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
%global pkg_name smallcheck
|
|
%global pkgver %{pkg_name}-%{version}
|
|
|
|
Name: ghc-%{pkg_name}
|
|
Version: 1.1.3.1
|
|
Release: 2%{?dist}
|
|
Summary: A property-based testing library
|
|
|
|
License: BSD
|
|
Url: https://hackage.haskell.org/package/%{pkg_name}
|
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
|
|
|
BuildRequires: ghc-Cabal-devel
|
|
BuildRequires: ghc-rpm-macros
|
|
# Begin cabal-rpm deps:
|
|
BuildRequires: ghc-logict-devel
|
|
BuildRequires: ghc-mtl-devel
|
|
BuildRequires: ghc-pretty-devel
|
|
# End cabal-rpm deps
|
|
|
|
%description
|
|
SmallCheck is a testing library that allows to verify properties for all test
|
|
cases up to some depth. The test cases are generated automatically by
|
|
SmallCheck.
|
|
|
|
|
|
%package devel
|
|
Summary: Haskell %{pkg_name} library development files
|
|
Provides: %{name}-static = %{version}-%{release}
|
|
Provides: %{name}-doc = %{version}-%{release}
|
|
%if %{defined ghc_version}
|
|
Requires: ghc-compiler = %{ghc_version}
|
|
Requires(post): ghc-compiler = %{ghc_version}
|
|
Requires(postun): ghc-compiler = %{ghc_version}
|
|
%endif
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
%description devel
|
|
This package provides the Haskell %{pkg_name} library development files.
|
|
|
|
|
|
%prep
|
|
%setup -q -n %{pkgver}
|
|
|
|
|
|
%build
|
|
%ghc_lib_build
|
|
|
|
|
|
%install
|
|
%ghc_lib_install
|
|
|
|
|
|
%post devel
|
|
%ghc_pkg_recache
|
|
|
|
|
|
%postun devel
|
|
%ghc_pkg_recache
|
|
|
|
|
|
%files -f %{name}.files
|
|
%license LICENSE
|
|
|
|
|
|
%files devel -f %{name}-devel.files
|
|
%doc CHANGELOG.md README.md
|
|
|
|
|
|
%changelog
|
|
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.3.1-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
* Wed Jan 24 2018 Jens Petersen <petersen@redhat.com> - 1.1.3.1-1
|
|
- update to 1.1.3.1
|
|
|
|
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-7
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
|
|
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
|
* Fri Feb 24 2017 Jens Petersen <petersen@redhat.com> - 1.1.1-5
|
|
- refresh to cabal-rpm-0.11.1
|
|
|
|
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
|
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
|
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1.1-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
|
* Wed Aug 27 2014 Jens Petersen <petersen@redhat.com> - 1.1.1-1
|
|
- update to 1.1.1
|
|
- refresh to cblrpm-0.8.11
|
|
|
|
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.4-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
|
|
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.4-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
|
* Mon Sep 2 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 1.0.4-2
|
|
- Rebuilt
|
|
|
|
* Thu Aug 29 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 1.0.4-1
|
|
- new upstream version 1.0.4
|
|
|
|
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.2-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
|
|
* Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 1.0.2-2
|
|
- update to new simplified Haskell Packaging Guidelines
|
|
|
|
* Mon Mar 18 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 1.0.2-1
|
|
- new upstream version 1.0.2
|
|
|
|
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.1-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
|
* Sat Nov 17 2012 Jens Petersen <petersen@redhat.com> - 0.6.1-3
|
|
- update with cabal-rpm
|
|
|
|
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.1-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
|
* Fri Jun 08 2012 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 0.6.1-1
|
|
- Updated common summary and description.
|
|
- Added BR ghc-dlist-devel.
|
|
- Spec file template generated by cabal2spec-0.25.5.
|