Accepting request 1234821 from devel:languages:haskell

Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/1234821
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ghc-dec?expand=0&rev=9

dec.cabal

@@ -0,0 +1,55 @@
+cabal-version:      >=1.10
+name:               dec
+version:            0.0.6
+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/dec
+bug-reports:        https://github.com/phadej/dec/issues
+license:            BSD3
+license-file:       LICENSE
+author:             Oleg Grenrus <oleg.grenrus@iki.fi>
+maintainer:         Oleg.Grenrus <oleg.grenrus@iki.fi>
+copyright:          (c) 2019-2021 Oleg Grenrus
+build-type:         Simple
+extra-source-files: ChangeLog.md
+tested-with:
+  GHC ==8.6.5
+   || ==8.8.4
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.8
+   || ==9.4.8
+   || ==9.6.6
+   || ==9.8.4
+   || ==9.10.1
+   || ==9.12.1
+
+source-repository head
+  type:     git
+  location: https://github.com/phadej/dec.git
+
+library
+  default-language: Haskell2010
+  hs-source-dirs:   src
+  ghc-options:      -Wall -fprint-explicit-kinds
+  exposed-modules:  Data.Type.Dec
+  build-depends:
+      base    >=4.12.0.0 && <4.22
+    , boring  >=0.2.2 && <0.3
+
+  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

ghc-dec.changes

@@ -1,3 +1,9 @@
+-------------------------------------------------------------------
+Fri Dec 27 20:12:00 UTC 2024 - Peter Simons <psimons@suse.com>
+
+- Update dec to version 0.0.6 revision 1.
+  Upstream has revised the Cabal build instructions on Hackage.
+
 -------------------------------------------------------------------
 Fri May 17 15:33:11 UTC 2024 - Peter Simons <psimons@suse.com>
 

ghc-dec.spec

@@ -25,6 +25,7 @@ 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/1.cabal#/%{pkg_name}.cabal
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-base-devel
 BuildRequires:  ghc-base-prof
@@ -68,6 +69,7 @@ This package provides the Haskell %{pkg_name} profiling library.
 
 %prep
 %autosetup -n %{pkg_name}-%{version}
+cp -p %{SOURCE1} %{pkg_name}.cabal
 
 %build
 %ghc_lib_build