Accepting request 877622 from devel:languages:haskell

Automatic submission by obs-autosubmit

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

dec-0.0.3.tar.gz

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:d9b8701244e77354ba7800f290c05f705994e2cc3a6c09b6c02d9c212add0bf9
-size 2629

dec-0.0.4.tar.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ecfdbd681299b2653b4d5a17f4113ac156074761372bc119dcd3e1ea9473547b
+size 2787

dec.cabal

@@ -1,51 +0,0 @@
-cabal-version:      >=1.10
-name:               dec
-version:            0.0.3
-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/vec
-bug-reports:        https://github.com/phadej/vec/issues
-license:            BSD3
-license-file:       LICENSE
-author:             Oleg Grenrus <oleg.grenrus@iki.fi>
-maintainer:         Oleg.Grenrus <oleg.grenrus@iki.fi>
-copyright:          (c) 2019 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.3
-   || ==8.10.1
-
-source-repository head
-  type:     git
-  location: https://github.com/phadej/vec.git
-  subdir:   dec
-
-library
-  exposed-modules:  Data.Type.Dec
-  build-depends:    base >=4.7 && <4.15
-
-  if !impl(ghc >=7.10)
-    build-depends: void >=0.7.2 && <0.8
-
-  ghc-options:      -Wall -fprint-explicit-kinds
-  hs-source-dirs:   src
-  default-language: Haskell2010

ghc-dec.changes

@@ -1,3 +1,11 @@
+-------------------------------------------------------------------
+Sun Feb 21 12:48:14 UTC 2021 - psimons@suse.com
+
+- Update dec to version 0.0.4.
+  ## 0.0.4
+
+  - Mark module as explicitly `Safe`.
+
 -------------------------------------------------------------------
 Thu Dec 17 12:20:00 UTC 2020 - Ondřej Súkup <mimi.vx@gmail.com>
  

ghc-dec.spec

@@ -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 @@ This package provides the Haskell %{pkg_name} library development files.
 
 %prep
 %autosetup -n %{pkg_name}-%{version}
-cp -p %{SOURCE1} %{pkg_name}.cabal
 
 %build
 %ghc_lib_build