forked from pool/ghc-boring
osc copypac from project:devel:languages:haskell:ghc-8.10.x package:ghc-boring revision:4, using keep-link
OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-boring?expand=0&rev=4
This commit is contained in:
parent
5eb7d9a4ec
commit
591250be4f
83
boring.cabal
83
boring.cabal
@ -1,83 +0,0 @@
|
|||||||
name: boring
|
|
||||||
version: 0.2
|
|
||||||
x-revision: 1
|
|
||||||
synopsis: Boring and Absurd types
|
|
||||||
description:
|
|
||||||
* @Boring@ types are isomorphic to @()@.
|
|
||||||
.
|
|
||||||
* @Absurd@ types are isomorphic to @Void@.
|
|
||||||
.
|
|
||||||
See [What does () mean in Haskell -answer by Conor McBride](https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522)
|
|
||||||
|
|
||||||
homepage: https://github.com/phadej/boring
|
|
||||||
bug-reports: https://github.com/phadej/boring/issues
|
|
||||||
license: BSD3
|
|
||||||
license-file: LICENSE
|
|
||||||
author: Oleg Grenrus <oleg.grenrus@iki.fi>
|
|
||||||
maintainer: Oleg.Grenrus <oleg.grenrus@iki.fi>
|
|
||||||
copyright: (c) 2017-2021 Oleg Grenrus
|
|
||||||
category: Data
|
|
||||||
build-type: Simple
|
|
||||||
extra-source-files: ChangeLog.md
|
|
||||||
cabal-version: >=1.10
|
|
||||||
tested-with:
|
|
||||||
GHC ==7.4.2
|
|
||||||
|| ==7.6.3
|
|
||||||
|| ==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.1
|
|
||||||
|| ==9.2.1
|
|
||||||
|
|
||||||
source-repository head
|
|
||||||
type: git
|
|
||||||
location: https://github.com/phadej/boring.git
|
|
||||||
subdir: boring
|
|
||||||
|
|
||||||
flag tagged
|
|
||||||
description:
|
|
||||||
You can disable the use of the `tagged` package using `-f-tagged`.
|
|
||||||
.
|
|
||||||
Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.
|
|
||||||
|
|
||||||
default: True
|
|
||||||
manual: True
|
|
||||||
|
|
||||||
library
|
|
||||||
exposed-modules: Data.Boring
|
|
||||||
build-depends:
|
|
||||||
base >=4.5 && <4.17
|
|
||||||
, transformers >=0.3 && <0.7
|
|
||||||
|
|
||||||
if impl(ghc <7.6)
|
|
||||||
build-depends: ghc-prim
|
|
||||||
|
|
||||||
if !impl(ghc >=7.8)
|
|
||||||
build-depends: type-equality >=1 && <1.1
|
|
||||||
|
|
||||||
if !impl(ghc >=7.10)
|
|
||||||
build-depends: void >=0.7.3 && <0.8
|
|
||||||
|
|
||||||
if !impl(ghc >=8.0)
|
|
||||||
build-depends:
|
|
||||||
semigroups >=0.18.5 && <0.21
|
|
||||||
, transformers-compat >=0.5 && <0.8
|
|
||||||
|
|
||||||
if flag(tagged) || !impl(ghc >=7.8)
|
|
||||||
build-depends: tagged >=0.8.6 && <0.9
|
|
||||||
|
|
||||||
other-extensions:
|
|
||||||
CPP
|
|
||||||
DefaultSignatures
|
|
||||||
FlexibleContexts
|
|
||||||
GADTs
|
|
||||||
Trustworthy
|
|
||||||
TypeOperators
|
|
||||||
|
|
||||||
hs-source-dirs: src
|
|
||||||
default-language: Haskell2010
|
|
@ -1,5 +1,5 @@
|
|||||||
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
||||||
Fri Feb 4 12:15:35 UTC 2022 - psimons@suse.com
|
Sat Dec 11 21:25:33 UTC 2021 - Peter Simons <psimons@suse.com>
|
||||||
|
|
||||||
- Update boring to version 0.2 revision 1.
|
- Update boring to version 0.2 revision 1.
|
||||||
Upstream has revised the Cabal build instructions on Hackage.
|
Upstream has revised the Cabal build instructions on Hackage.
|
||||||
|
@ -1,7 +1,7 @@
|
|||||||
#
|
#
|
||||||
# spec file for package ghc-boring
|
# spec file for package ghc-boring
|
||||||
#
|
#
|
||||||
# Copyright (c) 2022 SUSE LLC
|
# Copyright (c) 2021 SUSE LLC
|
||||||
#
|
#
|
||||||
# All modifications and additions to the file contributed by third parties
|
# All modifications and additions to the file contributed by third parties
|
||||||
# remain the property of their copyright owners, unless otherwise agreed
|
# remain the property of their copyright owners, unless otherwise agreed
|
||||||
|
Loading…
Reference in New Issue
Block a user