You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
1.0 KiB
16 lines
1.0 KiB
BDEPEND=app-text/dos2unix
|
|
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
|
|
DEPEND=>=dev-haskell/boring-0.2:=[profile?] <dev-haskell/boring-0.3:=[profile?] >=dev-lang/ghc-8.10.6:= >=dev-haskell/cabal-3.2.1.0 hscolour? ( dev-haskell/hscolour )
|
|
DESCRIPTION=Decidable propositions
|
|
EAPI=8
|
|
HOMEPAGE=https://github.com/phadej/dec
|
|
INHERIT=haskell-cabal
|
|
IUSE=doc hscolour profile
|
|
KEYWORDS=~amd64 ~arm64 ~ppc64 ~riscv ~x86
|
|
LICENSE=BSD
|
|
RDEPEND=>=dev-haskell/boring-0.2:=[profile?] <dev-haskell/boring-0.3:=[profile?] >=dev-lang/ghc-8.10.6:= dev-lang/ghc:=[profile?]
|
|
SLOT=0/0.0.5
|
|
SRC_URI=https://hackage.haskell.org/package/dec-0.0.5/dec-0.0.5.tar.gz https://hackage.haskell.org/package/dec-0.0.5/revision/1.cabal -> dec-0.0.5-rev1.cabal
|
|
_eclasses_=ghc-package 8e4f6eb2d0e798049f6fcaf3b84c0d4a haskell-cabal 7a05e05c4a785428f7c2f31e22667fea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084
|
|
_md5_=7f6cfc9c8365024740f5a9c883069356
|