From 4f2d7949f03e1c198bc888f2d05f421d35c57e21 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Mon, 9 Oct 2017 18:53:29 +0100
Subject: reinit the tree, so we can have metadata

---
 dev-haskell/minisat/Manifest             |  5 +++++
 dev-haskell/minisat/metadata.xml         | 11 +++++++++++
 dev-haskell/minisat/minisat-0.1.2.ebuild | 26 ++++++++++++++++++++++++++
 3 files changed, 42 insertions(+)
 create mode 100644 dev-haskell/minisat/Manifest
 create mode 100644 dev-haskell/minisat/metadata.xml
 create mode 100644 dev-haskell/minisat/minisat-0.1.2.ebuild

(limited to 'dev-haskell/minisat')

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
+"
-- 
cgit v1.2.3