gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity

dev-haskell/dec: add 0.0.5

Browse Source 
Signed-off-by: hololeap <hololeap@protonmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
This commit is contained in:
hololeap 2023-10-02 23:07:01 -06:00 committed by Sam James
parent dcd9c137ef
commit 64a7f71977
No known key found for this signature in database
GPG Key ID: 738409F520DF9190
3 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dev-haskell/dec/Manifest
View File

@ -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

25
dev-haskell/dec/dec-0.0.5.ebuild Normal file
View File

@ -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
"

4
dev-haskell/dec/metadata.xml
View File

@ -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>