From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 21:03:06 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-haskell/minisat/Manifest             |  3 +++
 dev-haskell/minisat/metadata.xml         | 11 +++++++++++
 dev-haskell/minisat/minisat-0.1.2.ebuild | 26 ++++++++++++++++++++++++++
 3 files changed, 40 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..176599748ac3
--- /dev/null
+++ b/dev-haskell/minisat/Manifest
@@ -0,0 +1,3 @@
+DIST minisat-0.1.2.tar.gz 45469 BLAKE2B 69a422874c40ec05f97af75ab63d263faafaa4623aa1fe9a40059d2285742ee11ee2fa14aca7ffb8b8503838f0612abea7e8c4b26826dd230abb422fe6c96731 SHA512 557f5f8412adb84784a1edab4981bf5029dea5b0ac731eca2e464f3573ba537c6696613bf494f08cfb7f1b53468f563f758138b60c00edaf046d7ce74f023a85
+EBUILD minisat-0.1.2.ebuild 607 BLAKE2B 45bf93999742f53621adc0ed1a5e7454b677f61b37fa8194b337d68eab214a777f990afd6bf26af3860a33d23573eee247b5c4a855c614808ae9e82fb3fe196a SHA512 1e75626db193cddfd07dc361cb16ae8e3f3e97f702caa79b08b3c2a764ea62ace3137876bee78651ffd569e7db39687ac53ba27b8756d67d4e282b013bb73ce4
+MISC metadata.xml 333 BLAKE2B dcac266d1f83e6cb24cad59bab7d13ceee049dcba5d646a760ed414ea002853776572932e2d5f719b318a38449013d94267d2eb3e871a5cdc83142c03e1682f5 SHA512 64be3fe72ce0fc005326ffa8d7c17f8512d5df3fef8aefb68413cbed051dd21a8271d9d856808b43c894e2b0de99f50f6b3b565dc7f260dc03e86bab23b8ca17
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