Hello community, here is the log from the commit of package ghc-sbv for openSUSE:Factory checked in at 2017-09-15 22:30:59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-sbv (Old) and /work/SRC/openSUSE:Factory/.ghc-sbv.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-sbv" Fri Sep 15 22:30:59 2017 rev:2 rq:526012 version:7.3 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-sbv/ghc-sbv.changes 2017-05-09 18:15:08.151267697 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-sbv.new/ghc-sbv.changes 2017-09-15 22:31:00.845977588 +0200 @@ -1,0 +2,6 @@ +Wed Sep 13 08:22:22 UTC 2017 - [email protected] + +- Update to version 7.3. + A more detailed change log is not available. + +------------------------------------------------------------------- Old: ---- sbv-5.14.tar.gz New: ---- sbv-7.3.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-sbv.spec ++++++ --- /var/tmp/diff_new_pack.n5VZje/_old 2017-09-15 22:31:01.629867166 +0200 +++ /var/tmp/diff_new_pack.n5VZje/_new 2017-09-15 22:31:01.633866602 +0200 @@ -19,35 +19,42 @@ %global pkg_name sbv %bcond_with tests Name: ghc-%{pkg_name} -Version: 5.14 +Version: 7.3 Release: 0 Summary: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving License: BSD-3-Clause -Group: Development/Languages/Other -Url: https://hackage.haskell.org/package/%{pkg_name} +Group: Development/Libraries/Haskell +URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -BuildRequires: chrpath BuildRequires: ghc-Cabal-devel -BuildRequires: ghc-HUnit-devel BuildRequires: ghc-QuickCheck-devel BuildRequires: ghc-array-devel BuildRequires: ghc-async-devel -BuildRequires: ghc-base-compat-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-crackNum-devel BuildRequires: ghc-data-binary-ieee754-devel BuildRequires: ghc-deepseq-devel BuildRequires: ghc-directory-devel BuildRequires: ghc-filepath-devel +BuildRequires: ghc-generic-deriving-devel BuildRequires: ghc-ghc-devel BuildRequires: ghc-mtl-devel -BuildRequires: ghc-old-time-devel BuildRequires: ghc-pretty-devel BuildRequires: ghc-process-devel BuildRequires: ghc-random-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-syb-devel -BuildRoot: %{_tmppath}/%{name}-%{version}-build +BuildRequires: ghc-template-haskell-devel +BuildRequires: ghc-time-devel +%if %{with tests} +BuildRequires: ghc-Glob-devel +BuildRequires: ghc-bytestring-devel +BuildRequires: ghc-doctest-devel +BuildRequires: ghc-hlint-devel +BuildRequires: ghc-tasty-devel +BuildRequires: ghc-tasty-golden-devel +BuildRequires: ghc-tasty-hunit-devel +%endif %description Express properties about Haskell programs and automatically prove them using @@ -57,7 +64,7 @@ %package devel Summary: Haskell %{pkg_name} library development files -Group: Development/Libraries/Other +Group: Development/Libraries/Haskell Requires: %{name} = %{version}-%{release} Requires: ghc-compiler = %{ghc_version} Requires(post): ghc-compiler = %{ghc_version} @@ -74,7 +81,6 @@ %install %ghc_lib_install -%ghc_fix_rpath %{pkg_name}-%{version} %check %cabal_test @@ -86,16 +92,13 @@ %ghc_pkg_recache %files -f %{name}.files -%defattr(-,root,root,-) %doc LICENSE -%{_bindir}/SBVUnitTests %dir %{_datadir}/%{pkg_name}-%{version} -%dir %{_datadir}/%{pkg_name}-%{version}/SBVUnitTest -%dir %{_datadir}/%{pkg_name}-%{version}/SBVUnitTest/GoldFiles -%{_datadir}/%{pkg_name}-%{version}/SBVUnitTest/GoldFiles/*.gold +%dir %{_datadir}/%{pkg_name}-%{version}/SBVTestSuite +%dir %{_datadir}/%{pkg_name}-%{version}/SBVTestSuite/GoldFiles +%{_datadir}/%{pkg_name}-%{version}/SBVTestSuite/GoldFiles/*.gold %files devel -f %{name}-devel.files -%defattr(-,root,root,-) %doc CHANGES.md README.md %changelog ++++++ sbv-5.14.tar.gz -> sbv-7.3.tar.gz ++++++ ++++ 110237 lines of diff (skipped)
