|
|
@ -1,8 +1,12 @@
|
|
|
|
|
|
|
|
# cabal2spec-0.25
|
|
|
|
|
|
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
|
|
|
|
# https://fedoraproject.org/wiki/PackagingDrafts/Haskell
|
|
|
|
|
|
|
|
|
|
|
|
%global pkg_name QuickCheck
|
|
|
|
%global pkg_name QuickCheck
|
|
|
|
|
|
|
|
|
|
|
|
%global common_summary Automatic testing of Haskell programs
|
|
|
|
%global common_summary Automatic testing of Haskell programs
|
|
|
|
|
|
|
|
|
|
|
|
%global common_description QuickCheck80 is a library for random testing of program properties.\
|
|
|
|
%global common_description QuickCheck is a library for random testing of program properties.\
|
|
|
|
\
|
|
|
|
\
|
|
|
|
The programmer provides a specification of the program, in the form of\
|
|
|
|
The programmer provides a specification of the program, in the form of\
|
|
|
|
properties which functions should satisfy, and QuickCheck then tests that\
|
|
|
|
properties which functions should satisfy, and QuickCheck then tests that\
|
|
|
@ -13,9 +17,9 @@ the QuickCheck library. QuickCheck provides combinators to define properties,\
|
|
|
|
observe the distribution of test data, and define test data generators.
|
|
|
|
observe the distribution of test data, and define test data generators.
|
|
|
|
|
|
|
|
|
|
|
|
Name: ghc-%{pkg_name}
|
|
|
|
Name: ghc-%{pkg_name}
|
|
|
|
# part of haskell-platform-2011.4.0.0
|
|
|
|
# part of haskell-platform
|
|
|
|
Version: 2.4.1.1
|
|
|
|
Version: 2.4.2
|
|
|
|
Release: 2%{?dist}
|
|
|
|
Release: 1%{?dist}
|
|
|
|
Summary: %{common_summary}
|
|
|
|
Summary: %{common_summary}
|
|
|
|
|
|
|
|
|
|
|
|
Group: System Environment/Libraries
|
|
|
|
Group: System Environment/Libraries
|
|
|
@ -53,10 +57,25 @@ BuildRequires: ghc-template-haskell-prof
|
|
|
|
%ghc_lib_install
|
|
|
|
%ghc_lib_install
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_lib_package
|
|
|
|
# devel subpackage
|
|
|
|
|
|
|
|
%ghc_devel_package
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_devel_description
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_devel_post_postun
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_files LICENSE
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%changelog
|
|
|
|
%changelog
|
|
|
|
|
|
|
|
* Tue Mar 20 2012 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
|
|
|
|
|
|
|
- update to 2.4.2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* Sun Mar 18 2012 Jens Petersen <petersen@redhat.com> - 2.4.1.1-3
|
|
|
|
|
|
|
|
- update to cabal2spec-0.25
|
|
|
|
|
|
|
|
|
|
|
|
* Fri Jan 13 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.1.1-2
|
|
|
|
* Fri Jan 13 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.1.1-2
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|
|
|