SHA256
1
0
forked from pool/ghc-dec

osc copypac from project:devel:languages:haskell:ghc-9.4.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=17
This commit is contained in:
Peter Simons 2023-10-27 08:29:41 +00:00 committed by Git OBS Bridge
parent 0a26e61570
commit f38feefb26
3 changed files with 13 additions and 6 deletions

View File

@ -1,7 +1,7 @@
cabal-version: >=1.10 cabal-version: >=1.10
name: dec name: dec
version: 0.0.5 version: 0.0.5
x-revision: 1 x-revision: 2
synopsis: Decidable propositions. synopsis: Decidable propositions.
category: Data, Dependent Types category: Data, Dependent Types
description: description:
@ -34,9 +34,10 @@ tested-with:
|| ==8.8.4 || ==8.8.4
|| ==8.10.7 || ==8.10.7
|| ==9.0.2 || ==9.0.2
|| ==9.2.6 || ==9.2.8
|| ==9.4.4 || ==9.4.7
|| ==9.6.1 || ==9.6.3
|| ==9.8.1
source-repository head source-repository head
type: git type: git
@ -48,7 +49,7 @@ library
ghc-options: -Wall -fprint-explicit-kinds ghc-options: -Wall -fprint-explicit-kinds
exposed-modules: Data.Type.Dec exposed-modules: Data.Type.Dec
build-depends: build-depends:
base >=4.7 && <4.19 base >=4.7 && <4.20
, boring >=0.2 && <0.3 , boring >=0.2 && <0.3
if !impl(ghc >=7.10) if !impl(ghc >=7.10)

View File

@ -1,3 +1,9 @@
-------------------------------------------------------------------
Tue Oct 24 16:57:16 UTC 2023 - Peter Simons <psimons@suse.com>
- Update dec to version 0.0.5 revision 2.
Upstream has revised the Cabal build instructions on Hackage.
------------------------------------------------------------------- -------------------------------------------------------------------
Thu Mar 30 17:06:34 UTC 2023 - Peter Simons <psimons@suse.com> Thu Mar 30 17:06:34 UTC 2023 - Peter Simons <psimons@suse.com>

View File

@ -25,7 +25,7 @@ Summary: Decidable propositions
License: BSD-3-Clause License: BSD-3-Clause
URL: https://hackage.haskell.org/package/%{pkg_name} URL: https://hackage.haskell.org/package/%{pkg_name}
Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz 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 Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal
BuildRequires: ghc-Cabal-devel BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-base-devel BuildRequires: ghc-base-devel
BuildRequires: ghc-base-prof BuildRequires: ghc-base-prof