Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package ghc-dec for openSUSE:Factory checked in at 2023-11-01 22:10:00 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-dec (Old) and /work/SRC/openSUSE:Factory/.ghc-dec.new.17445 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-dec" Wed Nov 1 22:10:00 2023 rev:7 rq:1121510 version:0.0.5 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-dec/ghc-dec.changes 2023-04-04 21:19:49.700963916 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-dec.new.17445/ghc-dec.changes 2023-11-01 22:10:47.733479071 +0100 @@ -1,0 +2,6 @@ +Tue Oct 24 16:57:16 UTC 2023 - Peter Simons <psim...@suse.com> + +- Update dec to version 0.0.5 revision 2. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-dec.spec ++++++ --- /var/tmp/diff_new_pack.1sf2bp/_old 2023-11-01 22:10:48.281499372 +0100 +++ /var/tmp/diff_new_pack.1sf2bp/_new 2023-11-01 22:10:48.285499520 +0100 @@ -25,7 +25,7 @@ License: BSD-3-Clause URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal +Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-base-devel BuildRequires: ghc-base-prof ++++++ dec.cabal ++++++ --- /var/tmp/diff_new_pack.1sf2bp/_old 2023-11-01 22:10:48.317500705 +0100 +++ /var/tmp/diff_new_pack.1sf2bp/_new 2023-11-01 22:10:48.321500854 +0100 @@ -1,7 +1,7 @@ cabal-version: >=1.10 name: dec version: 0.0.5 -x-revision: 1 +x-revision: 2 synopsis: Decidable propositions. category: Data, Dependent Types description: @@ -34,9 +34,10 @@ || ==8.8.4 || ==8.10.7 || ==9.0.2 - || ==9.2.6 - || ==9.4.4 - || ==9.6.1 + || ==9.2.8 + || ==9.4.7 + || ==9.6.3 + || ==9.8.1 source-repository head type: git @@ -48,7 +49,7 @@ ghc-options: -Wall -fprint-explicit-kinds exposed-modules: Data.Type.Dec build-depends: - base >=4.7 && <4.19 + base >=4.7 && <4.20 , boring >=0.2 && <0.3 if !impl(ghc >=7.10)
