commit abb8bbefe7935525dbac4c7bc4af280462386165 Author: Alexey Lyubimov Date: Fri Aug 18 22:00:03 2023 +0300 import ghc-QuickCheck-2.14.2-2.el9 diff --git a/.ghc-QuickCheck.metadata b/.ghc-QuickCheck.metadata new file mode 100644 index 0000000..7349c02 --- /dev/null +++ b/.ghc-QuickCheck.metadata @@ -0,0 +1 @@ +392b8376ef4e312eac2589c414f70aa067d714ca SOURCES/QuickCheck-2.14.2.tar.gz diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c084eba --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +SOURCES/QuickCheck-2.14.2.tar.gz diff --git a/SPECS/ghc-QuickCheck.spec b/SPECS/ghc-QuickCheck.spec new file mode 100644 index 0000000..b484611 --- /dev/null +++ b/SPECS/ghc-QuickCheck.spec @@ -0,0 +1,291 @@ +# generated by cabal-rpm-2.0.9 --subpackage +# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/ + +%global pkg_name QuickCheck +%global pkgver %{pkg_name}-%{version} + +# circular dep via base-compat-batteries +%bcond_with tests + +Name: ghc-%{pkg_name} +Version: 2.14.2 +Release: 2%{?dist} +Summary: Automatic testing of Haskell programs + +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-extra +BuildRequires: ghc-base-prof +BuildRequires: ghc-containers-prof +BuildRequires: ghc-deepseq-prof +BuildRequires: ghc-random-prof +BuildRequires: ghc-splitmix-prof +BuildRequires: ghc-template-haskell-prof +BuildRequires: ghc-transformers-prof +%if %{with tests} +BuildRequires: ghc-process-devel +%endif +# End cabal-rpm deps + +%description +QuickCheck is a library for random testing of program properties. The +programmer provides a specification of the program, in the form of properties +which functions should satisfy, and QuickCheck then tests that the properties +hold in a large number of randomly generated cases. Specifications are +expressed in Haskell, using combinators provided by QuickCheck. +QuickCheck provides combinators to define properties, observe the distribution +of test data, and define test data generators. + + +%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 +Requires: ghc-filesystem + +%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 + + +%check +%if %{with tests} +%cabal_test +%endif + + +%files -f %{name}.files +# Begin cabal-rpm files: +%license LICENSE +# End cabal-rpm files + + +%files devel -f %{name}-devel.files +%doc README changelog 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 +* Fri Aug 18 2023 Alexey Lyubimov - 2.14.2-2 +- Rebuilt for MSVSphere 9.2 + +* Thu Jan 20 2022 Fedora Release Engineering - 2.14.2-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + +* Thu Aug 5 2021 Jens Petersen - 2.14.2-1 +- update to 2.14.2 + +* Thu Jul 22 2021 Fedora Release Engineering - 2.13.2-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild + +* Tue Jan 26 2021 Fedora Release Engineering - 2.13.2-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild + +* Mon Jul 27 2020 Fedora Release Engineering - 2.13.2-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + +* Wed Jun 17 2020 Jens Petersen - 2.13.2-2 +- update splitmix to 0.0.5 + +* Sun Feb 09 2020 Jens Petersen - 2.13.2-1 +- update to 2.13.2 +- subpackage splitmix + +* Tue Jan 28 2020 Fedora Release Engineering - 2.12.6.1-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild + +* Thu Jul 25 2019 Jens Petersen - 2.12.6.1-1 +- update to 2.12.6.1 + +* Thu Jul 25 2019 Fedora Release Engineering - 2.11.3-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild + +* Thu Feb 21 2019 Jens Petersen - 2.11.3-1 +- update to 2.11.3 + +* Sun Feb 17 2019 Jens Petersen - 2.10.1-6 +- refresh to cabal-rpm-0.13 + +* Thu Jan 31 2019 Fedora Release Engineering - 2.10.1-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + +* Sat Jul 28 2018 Jens Petersen - 2.10.1-4 +- rebuild + +* Fri Jul 13 2018 Fedora Release Engineering - 2.10.1-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + +* Wed Feb 07 2018 Fedora Release Engineering - 2.10.1-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild + +* Wed Jan 24 2018 Jens Petersen - 2.9.2-1 +- update to 2.10.1 + +* Wed Aug 02 2017 Fedora Release Engineering - 2.9.2-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild + +* Wed Jul 26 2017 Fedora Release Engineering - 2.9.2-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild + +* Mon Feb 20 2017 Jens Petersen - 2.9.2-1 +- update to 2.9.2 + +* Fri Feb 10 2017 Fedora Release Engineering - 2.8.2-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + +* Sun Jun 26 2016 Jens Petersen - 2.8.2-1 +- update to 2.8.2 + +* Mon Jun 6 2016 Jens Petersen - 2.8.1-1 +- update to 2.8.1 + +* Wed Feb 03 2016 Fedora Release Engineering - 2.7.6-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + +* Wed Jun 17 2015 Fedora Release Engineering - 2.7.6-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild + +* Thu Apr 2 2015 Jens Petersen - 2.7.6-1 +- update to 2.7.6 + +* Wed Jan 28 2015 Jens Petersen - 2.6-35 +- update urls + +* Sat Aug 16 2014 Fedora Release Engineering - 2.6-34 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild + +* Sat Jun 07 2014 Fedora Release Engineering - 2.6-33 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + +* Wed Mar 26 2014 Jens Petersen - 2.6-32 +- bump over haskell-platform + +* Mon Feb 24 2014 Jens Petersen - 2.6-31 +- separate out of haskell-platform (#1069070) + +* Tue Mar 20 2012 Jens Petersen - 2.4.2-1 +- update to 2.4.2 + +* Sun Mar 18 2012 Jens Petersen - 2.4.1.1-3 +- update to cabal2spec-0.25 + +* Fri Jan 13 2012 Fedora Release Engineering - 2.4.1.1-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild + +* Tue Dec 27 2011 Jens Petersen - 2.4.1.1-1 +- update to 2.4.1.1 for haskell-platform-2011.4.0.0 +- no longer depends on mtl nor ghci +- update to cabal2spec-0.24.1 +- build on archs without ghci without template-haskell + +* Mon Oct 24 2011 Marcela Mašláňová - 2.4.0.1-7.3 +- rebuild with new gmp without compat lib + +* Fri Oct 21 2011 Marcela Mašláňová - 2.4.0.1-7.2 +- rebuild with new gmp without compat lib + +* Tue Oct 11 2011 Peter Schiffer - 2.4.0.1-7.1 +- rebuild with new gmp + +* Mon Jun 20 2011 Jens Petersen - 2.4.0.1-7 +- BR ghc-Cabal-devel and use ghc_excluded_archs + +* Fri May 27 2011 Jens Petersen - 2.4.0.1-6 +- update to cabal2spec-0.23: add ppc64 + +* Thu Mar 10 2011 Fabio M. Di Nitto - 2.4.0.1-5 +- Enable build on sparcv9 + +* Tue Feb 08 2011 Fedora Release Engineering - 2.4.0.1-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild + +* Sun Jan 23 2011 Jens Petersen - 2.4.0.1-3 +- rebuild + +* Tue Jan 18 2011 Jens Petersen - 2.4.0.1-2 +- update to cabal2spec-0.22.4 + +* Thu Nov 25 2010 Jens Petersen - 2.4.0.1-1 +- update to 2.4.0.1 +- add hscolour +- update url and drop -o obsoletes + +* Fri Jul 16 2010 Jens Petersen - 2.1.1.1-1 +- update to 2.1.1.1 for haskell-platform-2010.2.0.0 +- obsolete doc subpackage (ghc-rpm-macros-0.8.0) + +* Sun Jun 27 2010 Jens Petersen - 2.1.0.3-3 +- sync cabal2spec-0.22.1 + +* Tue Apr 27 2010 Jens Petersen - 2.1.0.3-2 +- rebuild against ghc-6.12.2 + +* Tue Mar 23 2010 Jens Petersen - 2.1.0.3-1 +- update to 2.1.0.3 for haskell-platform-2010.1.0.0 +- BR ghc-ghc + +* Thu Jan 21 2010 Jens Petersen - 2.1.0.2-2 +- BSD license +- summary and description +- comment part of haskell-platform-2009.3.1 + +* Thu Jan 21 2010 Fedora Haskell SIG - 2.1.0.2-1 +- initial packaging for Fedora automatically generated by cabal2spec-0.21.1