diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-haskell/minisat | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-haskell/minisat')
| -rw-r--r-- | dev-haskell/minisat/Manifest | 5 | ||||
| -rw-r--r-- | dev-haskell/minisat/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-haskell/minisat/minisat-0.1.2.ebuild | 26 |
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-haskell/minisat/Manifest b/dev-haskell/minisat/Manifest new file mode 100644 index 000000000000..486f3de6f32b --- /dev/null +++ b/dev-haskell/minisat/Manifest @@ -0,0 +1,5 @@ +DIST minisat-0.1.2.tar.gz 45469 SHA256 ad9528401dad68e9e778961e629e76b7ae373f813cada74da8c4f1c544553221 SHA512 557f5f8412adb84784a1edab4981bf5029dea5b0ac731eca2e464f3573ba537c6696613bf494f08cfb7f1b53468f563f758138b60c00edaf046d7ce74f023a85 WHIRLPOOL d0c28821d6577d4a7c54bd24266b047039f9bb6bb4884dcbc0eaa772e9058fb64ab993c5a32632e62bcb307bd4a3170e812a9c7b3acc9406f39811b1930d6109 +EBUILD minisat-0.1.2.ebuild 607 SHA256 d6df0306e43e5cf3a5920dffe6a5fe7fdc7d88f5eae27b2c7189137030f5a22c SHA512 1e75626db193cddfd07dc361cb16ae8e3f3e97f702caa79b08b3c2a764ea62ace3137876bee78651ffd569e7db39687ac53ba27b8756d67d4e282b013bb73ce4 WHIRLPOOL c46b3b475fcee3d3f99bfd11b0a793a29a3b5c4a222f5733ecb38d54517fb40be0a07aaaee1eec06a82e87efe8fba55111891c4bba59f7338a533ddb66151131 +MISC ChangeLog 2430 SHA256 0c2f71aee7bbb07e4de659b33b2ffeae6829c24b929978b9cb8757148412dae0 SHA512 7b37b8a8439b9bb0b7c8beba568038d3cb9e26d87c9d75c3cc7efeb9c54bf403930a6ca61f814285e9f4c738c617cbb838ee44704ff764fbefc13cf441263d88 WHIRLPOOL b06fe763f4ad608b1661bc9214d3a2867433b4844949810b00f6699a1346a79e09d690e9dd4cb15977746e74ec4bb0d542b89668287afbbf8efbed2b3c13c3a2 +MISC ChangeLog-2015 429 SHA256 b7b6f39c59cf96dcf38562ea7aa6c90da449244d0eda24301748a8681380d7d3 SHA512 bcbc8e6e7affc433061373e979f5f64f3dcdb7e10beb678e4dd92d0d289d526e102e50d97e853560a2a811807fe7e63d28daafcee813b7f509b18a4a44d44239 WHIRLPOOL 028f77af33288082b1a13ad2717ec4905d709e9ba78182fc4cdb29c42cbf23d51b0d8247b763ca605871a29a3cf8ca7471ca7357cdbcb732bddd5e10ab42d62f +MISC metadata.xml 333 SHA256 eee765a220be4ad3040802deed401c4c9b3880f3ef2192409a65b9f980294524 SHA512 64be3fe72ce0fc005326ffa8d7c17f8512d5df3fef8aefb68413cbed051dd21a8271d9d856808b43c894e2b0de99f50f6b3b565dc7f260dc03e86bab23b8ca17 WHIRLPOOL b3490d7bd926f7f12d6615b52fa10784a6fbc4c499e6b5592a5a4b38366d95390976221c48c838718c8c9f56639303d6b6073e06f453a2f251b853a5bfac5926 diff --git a/dev-haskell/minisat/metadata.xml b/dev-haskell/minisat/metadata.xml new file mode 100644 index 000000000000..e14761e6d7da --- /dev/null +++ b/dev-haskell/minisat/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>haskell@gentoo.org</email> + <name>Gentoo Haskell</name> + </maintainer> + <longdescription> + A Haskell bundle of the Minisat SAT solver + </longdescription> +</pkgmetadata> diff --git a/dev-haskell/minisat/minisat-0.1.2.ebuild b/dev-haskell/minisat/minisat-0.1.2.ebuild new file mode 100644 index 000000000000..7136a0bf9a71 --- /dev/null +++ b/dev-haskell/minisat/minisat-0.1.2.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +# ebuild generated by hackport 0.4.5.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="A Haskell bundle of the Minisat SAT solver" +HOMEPAGE="http://hackage.haskell.org/package/minisat" +SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND="dev-haskell/async:=[profile?] + >=dev-lang/ghc-7.4.1:= + sys-devel/gcc[cxx] +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.6 +" |