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 2021-03-10 08:54:40 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-dec (Old) and /work/SRC/openSUSE:Factory/.ghc-dec.new.2378 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-dec" Wed Mar 10 08:54:40 2021 rev:3 rq:877622 version:0.0.4 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-dec/ghc-dec.changes 2020-12-22 11:38:35.745448048 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-dec.new.2378/ghc-dec.changes 2021-03-10 08:56:43.442856082 +0100 @@ -1,0 +2,8 @@ +Sun Feb 21 12:48:14 UTC 2021 - [email protected] + +- Update dec to version 0.0.4. + ## 0.0.4 + + - Mark module as explicitly `Safe`. + +------------------------------------------------------------------- Old: ---- dec-0.0.3.tar.gz dec.cabal New: ---- dec-0.0.4.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-dec.spec ++++++ --- /var/tmp/diff_new_pack.qv1Zcx/_old 2021-03-10 08:56:43.886856540 +0100 +++ /var/tmp/diff_new_pack.qv1Zcx/_new 2021-03-10 08:56:43.886856540 +0100 @@ -1,7 +1,7 @@ # # spec file for package ghc-dec # -# Copyright (c) 2020 SUSE LLC +# Copyright (c) 2021 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,13 +18,12 @@ %global pkg_name dec Name: ghc-%{pkg_name} -Version: 0.0.3 +Version: 0.0.4 Release: 0 Summary: Decidable propositions 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/2.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros ExcludeArch: %{ix86} @@ -48,7 +47,6 @@ %prep %autosetup -n %{pkg_name}-%{version} -cp -p %{SOURCE1} %{pkg_name}.cabal %build %ghc_lib_build ++++++ dec-0.0.3.tar.gz -> dec-0.0.4.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/dec-0.0.3/ChangeLog.md new/dec-0.0.4/ChangeLog.md --- old/dec-0.0.3/ChangeLog.md 2001-09-09 03:46:40.000000000 +0200 +++ new/dec-0.0.4/ChangeLog.md 2001-09-09 03:46:40.000000000 +0200 @@ -1,5 +1,9 @@ # Revision history for dec +## 0.0.4 + +- Mark module as explicitly `Safe`. + ## 0.0.3 - First version. Released on an unsuspecting world. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/dec-0.0.3/dec.cabal new/dec-0.0.4/dec.cabal --- old/dec-0.0.3/dec.cabal 2001-09-09 03:46:40.000000000 +0200 +++ new/dec-0.0.4/dec.cabal 2001-09-09 03:46:40.000000000 +0200 @@ -1,17 +1,17 @@ cabal-version: >=1.10 name: dec -version: 0.0.3 +version: 0.0.4 synopsis: Decidable propositions. category: Data, Dependent Types description: This package provides a @Dec@ type. . @ - type Not a = a -> Void + type Neg a = a -> Void . data Dec a \ = Yes a - \ | No (Not a) + \ | No (Neg a) @ homepage: https://github.com/phadej/vec @@ -20,23 +20,36 @@ license-file: LICENSE author: Oleg Grenrus <[email protected]> maintainer: Oleg.Grenrus <[email protected]> -copyright: (c) 2019 Oleg Grenrus +copyright: (c) 2019-2021 Oleg Grenrus build-type: Simple extra-source-files: ChangeLog.md tested-with: - GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 + 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.13 + build-depends: base >=4.7 && <4.16 if !impl(ghc >=7.10) - build-depends: void >=0.7.2 && <0.8 + build-depends: void >=0.7.3 && <0.8 - ghc-options: -Wall -fprint-explicit-kinds - hs-source-dirs: src - default-language: Haskell2010 + 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 diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/dec-0.0.3/src/Data/Type/Dec.hs new/dec-0.0.4/src/Data/Type/Dec.hs --- old/dec-0.0.3/src/Data/Type/Dec.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/dec-0.0.4/src/Data/Type/Dec.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,4 @@ +{-# LANGUAGE Safe #-} module Data.Type.Dec ( -- * Types Neg, @@ -15,7 +16,7 @@ decToBool, ) where -import Data.Void (Void) +import Data.Void (Void) -- | Intuitionistic negation. type Neg a = a -> Void
