diff options
| author | hololeap <hololeap@protonmail.com> | 2023-10-02 23:07:01 -0600 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2023-10-23 04:09:28 +0100 |
| commit | 64a7f7197784e030c978185f900cd2d85f21b863 (patch) | |
| tree | ac9fd51a71a569aff1ed72fae35a6435ade3ab58 /dev-haskell/dec/dec-0.0.5.ebuild | |
| parent | dcd9c137efde07e55348d8143b376065bc180d24 (diff) | |
| download | gentoo-64a7f7197784e030c978185f900cd2d85f21b863.tar.gz gentoo-64a7f7197784e030c978185f900cd2d85f21b863.tar.bz2 gentoo-64a7f7197784e030c978185f900cd2d85f21b863.zip | |
dev-haskell/dec: add 0.0.5
Signed-off-by: hololeap <hololeap@protonmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-haskell/dec/dec-0.0.5.ebuild')
| -rw-r--r-- | dev-haskell/dec/dec-0.0.5.ebuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-haskell/dec/dec-0.0.5.ebuild b/dev-haskell/dec/dec-0.0.5.ebuild new file mode 100644 index 000000000000..01a3511200b8 --- /dev/null +++ b/dev-haskell/dec/dec-0.0.5.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +# ebuild generated by hackport 0.8.4.0.9999 + +CABAL_HACKAGE_REVISION=1 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="Decidable propositions" +HOMEPAGE="https://github.com/phadej/dec" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm64 ~ppc64 ~riscv ~x86" + +RDEPEND=">=dev-haskell/boring-0.2:=[profile?] <dev-haskell/boring-0.3:=[profile?] + >=dev-lang/ghc-8.10.6:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-3.2.1.0 +" |