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 2022-02-11 23:08:45 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-dec (Old) and /work/SRC/openSUSE:Factory/.ghc-dec.new.1956 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-dec" Fri Feb 11 23:08:45 2022 rev:4 rq:953450 version:0.0.4 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-dec/ghc-dec.changes 2021-03-10 08:56:43.442856082 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-dec.new.1956/ghc-dec.changes 2022-02-11 23:10:41.195167590 +0100 @@ -1,0 +2,6 @@ +Fri Dec 17 21:07:49 UTC 2021 - Peter Simons <[email protected]> + +- Update dec to version 0.0.4 revision 1. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- New: ---- dec.cabal ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-dec.spec ++++++ --- /var/tmp/diff_new_pack.40a5Nq/_old 2022-02-11 23:10:41.567168666 +0100 +++ /var/tmp/diff_new_pack.40a5Nq/_new 2022-02-11 23:10:41.575168689 +0100 @@ -24,6 +24,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 BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros ExcludeArch: %{ix86} @@ -47,6 +48,7 @@ %prep %autosetup -n %{pkg_name}-%{version} +cp -p %{SOURCE1} %{pkg_name}.cabal %build %ghc_lib_build ++++++ dec.cabal ++++++ cabal-version: >=1.10 name: dec version: 0.0.4 x-revision: 1 synopsis: Decidable propositions. category: Data, Dependent Types description: This package provides a @Dec@ type. . @ type Neg a = a -> Void . data Dec a \ = Yes a \ | No (Neg a) @ homepage: https://github.com/phadej/vec bug-reports: https://github.com/phadej/vec/issues license: BSD3 license-file: LICENSE author: Oleg Grenrus <[email protected]> maintainer: Oleg.Grenrus <[email protected]> copyright: (c) 2019-2021 Oleg Grenrus build-type: Simple extra-source-files: ChangeLog.md tested-with: GHC ==7.8.4 || ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.3 || ==9.0.1 source-repository head type: git location: https://github.com/phadej/vec.git subdir: dec library default-language: Haskell2010 hs-source-dirs: src ghc-options: -Wall -fprint-explicit-kinds exposed-modules: Data.Type.Dec build-depends: base >=4.7 && <4.17 if !impl(ghc >=7.10) build-depends: void >=0.7.3 && <0.8 if impl(ghc >= 9.0) -- these flags may abort compilation with GHC-8.10 -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode
