From e1b52a7a5b519fa1bfd06b43973a07987788bae1d203327e1090b9259d8fb85b Mon Sep 17 00:00:00 2001
From: Peter Simons <peter.simons@suse.com>
Date: Thu, 30 Mar 2023 08:26:23 +0000
Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-9.4.x
 package:ghc-dec revision:6, using keep-link

OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-dec?expand=0&rev=14
---
 dec.cabal       | 60 +++++++++++++++++++++++++++++++++++++++++++++++++
 ghc-dec.changes |  6 +++++
 ghc-dec.spec    | 29 +++++++++++++++++++++++-
 3 files changed, 94 insertions(+), 1 deletion(-)
 create mode 100644 dec.cabal

diff --git a/dec.cabal b/dec.cabal
new file mode 100644
index 0000000..b0fcd5c
--- /dev/null
+++ b/dec.cabal
@@ -0,0 +1,60 @@
+cabal-version:      >=1.10
+name:               dec
+version:            0.0.5
+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 ==7.8.4
+   || ==7.10.3
+   || ==8.0.2
+   || ==8.2.2
+   || ==8.4.4
+   || ==8.6.5
+   || ==8.8.4
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.6
+   || ==9.4.4
+   || ==9.6.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.7 && <4.19
+    , boring  >=0.2 && <0.3
+
+  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
diff --git a/ghc-dec.changes b/ghc-dec.changes
index 3fe84e5..fdd6e9f 100644
--- a/ghc-dec.changes
+++ b/ghc-dec.changes
@@ -1,3 +1,9 @@
+-------------------------------------------------------------------
+Tue Mar 14 15:17:16 UTC 2023 - Peter Simons <psimons@suse.com>
+
+- Update dec to version 0.0.5 revision 1.
+  Upstream has revised the Cabal build instructions on Hackage.
+
 -------------------------------------------------------------------
 Sun Aug 21 11:41:26 UTC 2022 - Peter Simons <psimons@suse.com>
 
diff --git a/ghc-dec.spec b/ghc-dec.spec
index dea257e..3a44d9c 100644
--- a/ghc-dec.spec
+++ b/ghc-dec.spec
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-dec
 #
-# Copyright (c) 2022 SUSE LLC
+# Copyright (c) 2023 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -17,6 +17,7 @@
 
 
 %global pkg_name dec
+%global pkgver %{pkg_name}-%{version}
 Name:           ghc-%{pkg_name}
 Version:        0.0.5
 Release:        0
@@ -24,8 +25,12 @@ 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
 BuildRequires:  ghc-boring-devel
+BuildRequires:  ghc-boring-prof
 BuildRequires:  ghc-rpm-macros
 ExcludeArch:    %{ix86}
 
@@ -46,8 +51,25 @@ Requires(postun): ghc-compiler = %{ghc_version}
 %description devel
 This package provides the Haskell %{pkg_name} library development files.
 
+%package -n ghc-%{pkg_name}-doc
+Summary:        Haskell %{pkg_name} library documentation
+Requires:       ghc-filesystem
+BuildArch:      noarch
+
+%description -n ghc-%{pkg_name}-doc
+This package provides the Haskell %{pkg_name} library documentation.
+
+%package -n ghc-%{pkg_name}-prof
+Summary:        Haskell %{pkg_name} profiling library
+Requires:       ghc-%{pkg_name}-devel = %{version}-%{release}
+Supplements:    (ghc-%{pkg_name}-devel and ghc-prof)
+
+%description -n ghc-%{pkg_name}-prof
+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
@@ -67,4 +89,9 @@ This package provides the Haskell %{pkg_name} library development files.
 %files devel -f %{name}-devel.files
 %doc ChangeLog.md
 
+%files -n ghc-%{pkg_name}-doc -f ghc-%{pkg_name}-doc.files
+%license LICENSE
+
+%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files
+
 %changelog