From 1e541613ff757f1c0e56765b8dfc031134400942c018b25afa0c045926b72b5a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20S=C3=BAkup?= Date: Mon, 8 Mar 2021 08:01:09 +0000 Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-8.10.x package:ghc-dec revision:8, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-dec?expand=0&rev=8 --- dec-0.0.3.tar.gz | 3 --- dec-0.0.4.tar.gz | 3 +++ dec.cabal | 51 ------------------------------------------------ ghc-dec.changes | 8 ++++++++ ghc-dec.spec | 6 ++---- 5 files changed, 13 insertions(+), 58 deletions(-) delete mode 100644 dec-0.0.3.tar.gz create mode 100644 dec-0.0.4.tar.gz delete mode 100644 dec.cabal diff --git a/dec-0.0.3.tar.gz b/dec-0.0.3.tar.gz deleted file mode 100644 index 607c593..0000000 --- a/dec-0.0.3.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:d9b8701244e77354ba7800f290c05f705994e2cc3a6c09b6c02d9c212add0bf9 -size 2629 diff --git a/dec-0.0.4.tar.gz b/dec-0.0.4.tar.gz new file mode 100644 index 0000000..3d6a3e7 --- /dev/null +++ b/dec-0.0.4.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ecfdbd681299b2653b4d5a17f4113ac156074761372bc119dcd3e1ea9473547b +size 2787 diff --git a/dec.cabal b/dec.cabal deleted file mode 100644 index 80a941a..0000000 --- a/dec.cabal +++ /dev/null @@ -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 -maintainer: Oleg.Grenrus -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 diff --git a/ghc-dec.changes b/ghc-dec.changes index 0c88cb4..598e564 100644 --- a/ghc-dec.changes +++ b/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 diff --git a/ghc-dec.spec b/ghc-dec.spec index c153aca..1f9c951 100644 --- a/ghc-dec.spec +++ b/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