From 08ca0fd69c264e70df94b5ed27dc763e61dc7d3f5e7c31e206a78f7dd3e8cc43 Mon Sep 17 00:00:00 2001
From: Peter Simons <peter.simons@suse.com>
Date: Mon, 27 May 2024 13:00:24 +0000
Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-9.8.x
 package:ghc-dec revision:2, using keep-link

OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-dec?expand=0&rev=19
---
 dec-0.0.5.tar.gz |  3 ---
 dec-0.0.6.tar.gz |  3 +++
 dec.cabal        | 61 ------------------------------------------------
 ghc-dec.changes  |  8 +++++++
 ghc-dec.spec     |  6 ++---
 5 files changed, 13 insertions(+), 68 deletions(-)
 delete mode 100644 dec-0.0.5.tar.gz
 create mode 100644 dec-0.0.6.tar.gz
 delete mode 100644 dec.cabal

diff --git a/dec-0.0.5.tar.gz b/dec-0.0.5.tar.gz
deleted file mode 100644
index 1b697f0..0000000
--- a/dec-0.0.5.tar.gz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:e18043c7c7e68168489f164921a02efede0c0175a5012ed5451ec2242338df88
-size 3224
diff --git a/dec-0.0.6.tar.gz b/dec-0.0.6.tar.gz
new file mode 100644
index 0000000..c8acec2
--- /dev/null
+++ b/dec-0.0.6.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:fb153694d1c7f8b271b20c4394b05f6d66d0211df78c3649dced878567b27f2d
+size 3221
diff --git a/dec.cabal b/dec.cabal
deleted file mode 100644
index 2dffecd..0000000
--- a/dec.cabal
+++ /dev/null
@@ -1,61 +0,0 @@
-cabal-version:      >=1.10
-name:               dec
-version:            0.0.5
-x-revision:         2
-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.8
-   || ==9.4.7
-   || ==9.6.3
-   || ==9.8.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.20
-    , 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 b99f72f..b4fbc97 100644
--- a/ghc-dec.changes
+++ b/ghc-dec.changes
@@ -1,3 +1,11 @@
+-------------------------------------------------------------------
+Fri May 17 15:33:11 UTC 2024 - Peter Simons <psimons@suse.com>
+
+- Update dec to version 0.0.6.
+  ## 0.0.6
+
+  - Support GHC-8.6.5...9.10.1
+
 -------------------------------------------------------------------
 Tue Oct 24 16:57:16 UTC 2023 - Peter Simons <psimons@suse.com>
 
diff --git a/ghc-dec.spec b/ghc-dec.spec
index ca4982a..9030e8f 100644
--- a/ghc-dec.spec
+++ b/ghc-dec.spec
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-dec
 #
-# Copyright (c) 2023 SUSE LLC
+# Copyright (c) 2024 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -19,13 +19,12 @@
 %global pkg_name dec
 %global pkgver %{pkg_name}-%{version}
 Name:           ghc-%{pkg_name}
-Version:        0.0.5
+Version:        0.0.6
 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-base-devel
 BuildRequires:  ghc-base-prof
@@ -69,7 +68,6 @@ 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