diff options
Diffstat (limited to 'dev-haskell/dec')
| -rw-r--r-- | dev-haskell/dec/Manifest | 7 | ||||
| -rw-r--r-- | dev-haskell/dec/dec-0.0.3.ebuild | 10 | ||||
| -rw-r--r-- | dev-haskell/dec/dec-0.0.5.ebuild | 25 | ||||
| -rw-r--r-- | dev-haskell/dec/metadata.xml | 4 |
4 files changed, 38 insertions, 8 deletions
diff --git a/dev-haskell/dec/Manifest b/dev-haskell/dec/Manifest index 55a55724880c..7a3ae982fea7 100644 --- a/dev-haskell/dec/Manifest +++ b/dev-haskell/dec/Manifest @@ -1,3 +1,6 @@ DIST dec-0.0.3.tar.gz 2629 BLAKE2B 558b559cf5d92afad637f61ae82549e200a6042740d78ef25be5bf32212dac5027e4f1b3cb9104c65d589927e1ff8b65e62b7f46d6fd5ff707f175cf920bb206 SHA512 446911a59287b48d8b98acf588671e6ed19fc12ed8adeabdab8f21c1fefb80cac7b59b9fea52a4671b997aa63d2eadda5181490e6901e99e9882de572abdc595 -EBUILD dec-0.0.3.ebuild 691 BLAKE2B 11ea99e709ca0962b02727698903ae363c236b5860e222c481f19d86590e1dd9960cc4ff029a4de6084ef14643ca557503b0dcb41c028c63a7924a140517012a SHA512 821e35fa236177e9466f0e3cfedb21f1ca95d7db327eaa2ba956cca26a48a967d5f7d7ff0d39b0c84e9d538bb1a00a320ef3b2f8b9481ef902ab8fe26794cc48 -MISC metadata.xml 250 BLAKE2B 3adf9597d5114c480b4cc9fb5c3e231d8475b795cd6dce77986e13583ab6e59b43857cf2328570490abef0062a8b8a6b73d231867f9b62124855515cdc044d6d SHA512 5ef2c1d34a3438b39a38c041d45bb06bd0f1ae8a3f8b971bd5aaf36dee560f380e9abefab0c2a4cd7b518e151f5c6a0d0c7cd53caee9a384818f1bdc7deeadc4 +DIST dec-0.0.5-rev1.cabal 1468 BLAKE2B df9584455ad01170b770c2342d8a5ac9f43383ebad9f87ac6f0abe7ee65e4165048b2ff1c5b401fa8af25dcc3532f04812a383fb50eb0a4f8b9e1c5bb9bd7089 SHA512 eb8b36f86b7266f1afdb57da4c7eb1b440cb347b9540d15acf217c3dcc432486154bc388adb98f720640fe765bd8acb80d09db7ea2cc27d5b2fa53f5210757e7 +DIST dec-0.0.5.tar.gz 3224 BLAKE2B b6d744a118f895e403d777cbc68b4913e8cd01e9f9e230b693b9d6dc2c6a6896f97e05e0bece5a22ff393da8b0cb9d29f78a8314af4d3799505ffd56d4591b22 SHA512 895085bb95bd8cec482f771d37f75221c12b50326bfeadeb6466d365c69756fef2faffcb557e0fee3861ec5318d8d27ad140ef6296217a80dda9a121f1be931a +EBUILD dec-0.0.3.ebuild 664 BLAKE2B 3cd1137cb326ba34a4f64531276ea71c31e52334e238dc1e413d9eae1f679b8a36576d853b026c4594e72ac1c28ee413ee13814d689d8e1577c1ee6729ddfdd2 SHA512 a1edda0fa79c038b42fe33da1e2a1fedbfc4c04320d5510cb4a76510cfcf3a4132346ac7818b2c26329f0ee3e3ef950c87d57ae57f135b270a6ee21b5588e950 +EBUILD dec-0.0.5.ebuild 572 BLAKE2B 207e0d8531d36c729dd2acee4a4fa043aa917fcb92f87f82874a3a34a7182603065430e554285d692e729b012593078bcbe51ff23cd2b45c8bf755aead8e82e5 SHA512 05f88d281a7714225e51784e36140a438ed4f2936c07bd8c44bd0bbcf6bdcb5f037b73a7752b206baa5f34cf597f8d2664e2cfdb16f6c4e2c8eb9885ae4e612b +MISC metadata.xml 369 BLAKE2B 9b21b0911dc547c3aa9dfdcce8b2e9c5ee6ad3df267a4c31775ba52f198a32ae33d6fe67c03edf81d2a7d390d72e6996e7facf6c3a996af9ab010c8f2bacfe09 SHA512 ea1ccab5351d13113dfb238e3e868ac5d916c5055f0bc6f90afc1a14894fa54b3834176cbffe530d95257477cb0c7e293545aa95522c9a25b226bc88077df853 diff --git a/dev-haskell/dec/dec-0.0.3.ebuild b/dev-haskell/dec/dec-0.0.3.ebuild index 3e8b8ebe4d19..e5527d33dfb6 100644 --- a/dev-haskell/dec/dec-0.0.3.ebuild +++ b/dev-haskell/dec/dec-0.0.3.ebuild @@ -1,7 +1,7 @@ # Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 # ebuild generated by hackport 0.6.9999 @@ -24,8 +24,6 @@ DEPEND="${RDEPEND} >=dev-haskell/cabal-1.18.1.3 " -src_prepare() { - default - cabal_chdeps \ - 'base >=4.7 && <4.13' 'base >=4.7' -} +CABAL_CHDEPS=( + 'base >=4.7 && <4.13' 'base >=4.7' +) 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> |