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 2026-06-10 15:59:20 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-dec (Old) and /work/SRC/openSUSE:Factory/.ghc-dec.new.2375 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-dec" Wed Jun 10 15:59:20 2026 rev:10 rq:1358358 version:0.0.6 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-dec/ghc-dec.changes 2025-01-05 15:31:07.629443464 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-dec.new.2375/ghc-dec.changes 2026-06-10 16:00:25.778810051 +0200 @@ -1,0 +2,6 @@ +Sun May 10 21:01:51 UTC 2026 - Peter Simons <[email protected]> + +- Update dec to version 0.0.6 revision 2. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-dec.spec ++++++ --- /var/tmp/diff_new_pack.nBzUQA/_old 2026-06-10 16:00:26.802852488 +0200 +++ /var/tmp/diff_new_pack.nBzUQA/_new 2026-06-10 16:00:26.806852654 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-dec # -# Copyright (c) 2024 SUSE LLC +# Copyright (c) 2026 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -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.nBzUQA/_old 2026-06-10 16:00:26.854854643 +0200 +++ /var/tmp/diff_new_pack.nBzUQA/_new 2026-06-10 16:00:26.858854809 +0200 @@ -1,7 +1,7 @@ cabal-version: >=1.10 name: dec version: 0.0.6 -x-revision: 1 +x-revision: 2 synopsis: Decidable propositions. category: Data, Dependent Types description: @@ -33,8 +33,9 @@ || ==9.4.8 || ==9.6.6 || ==9.8.4 - || ==9.10.1 - || ==9.12.1 + || ==9.10.3 + || ==9.12.2 + || ==9.14.1 source-repository head type: git @@ -46,7 +47,7 @@ ghc-options: -Wall -fprint-explicit-kinds exposed-modules: Data.Type.Dec build-depends: - base >=4.12.0.0 && <4.22 + base >=4.12.0.0 && <4.23 , boring >=0.2.2 && <0.3 if impl(ghc >=9.0)
