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 | |
| parent | dev-haskell/boring: new package, add 0.2.1 (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>
| -rw-r--r-- | dev-haskell/dec/Manifest | 2 | ||||
| -rw-r--r-- | dev-haskell/dec/dec-0.0.5.ebuild | 25 | ||||
| -rw-r--r-- | dev-haskell/dec/metadata.xml | 4 |
3 files changed, 31 insertions, 0 deletions
diff --git a/dev-haskell/dec/Manifest b/dev-haskell/dec/Manifest index 6dd83586955d..e05e17968b7e 100644 --- a/dev-haskell/dec/Manifest +++ b/dev-haskell/dec/Manifest @@ -1 +1,3 @@ DIST dec-0.0.3.tar.gz 2629 BLAKE2B 558b559cf5d92afad637f61ae82549e200a6042740d78ef25be5bf32212dac5027e4f1b3cb9104c65d589927e1ff8b65e62b7f46d6fd5ff707f175cf920bb206 SHA512 446911a59287b48d8b98acf588671e6ed19fc12ed8adeabdab8f21c1fefb80cac7b59b9fea52a4671b997aa63d2eadda5181490e6901e99e9882de572abdc595 +DIST dec-0.0.5-rev1.cabal 1468 BLAKE2B df9584455ad01170b770c2342d8a5ac9f43383ebad9f87ac6f0abe7ee65e4165048b2ff1c5b401fa8af25dcc3532f04812a383fb50eb0a4f8b9e1c5bb9bd7089 SHA512 eb8b36f86b7266f1afdb57da4c7eb1b440cb347b9540d15acf217c3dcc432486154bc388adb98f720640fe765bd8acb80d09db7ea2cc27d5b2fa53f5210757e7 +DIST dec-0.0.5.tar.gz 3224 BLAKE2B b6d744a118f895e403d777cbc68b4913e8cd01e9f9e230b693b9d6dc2c6a6896f97e05e0bece5a22ff393da8b0cb9d29f78a8314af4d3799505ffd56d4591b22 SHA512 895085bb95bd8cec482f771d37f75221c12b50326bfeadeb6466d365c69756fef2faffcb557e0fee3861ec5318d8d27ad140ef6296217a80dda9a121f1be931a 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 +" diff --git a/dev-haskell/dec/metadata.xml b/dev-haskell/dec/metadata.xml index 937381521944..a0f6ba3a9a33 100644 --- a/dev-haskell/dec/metadata.xml +++ b/dev-haskell/dec/metadata.xml @@ -5,4 +5,8 @@ <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> + <upstream> + <remote-id type="hackage">dec</remote-id> + <remote-id type="github">phadej/dec</remote-id> + </upstream> </pkgmetadata> |