From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 20:57:42 +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 deletions(-)
 delete mode 100644 dev-haskell/minisat/Manifest
 delete mode 100644 dev-haskell/minisat/metadata.xml
 delete 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
deleted file mode 100644
index 176599748ac3..000000000000
--- a/dev-haskell/minisat/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-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
deleted file mode 100644
index e14761e6d7da..000000000000
--- a/dev-haskell/minisat/metadata.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?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
deleted file mode 100644
index 7136a0bf9a71..000000000000
--- a/dev-haskell/minisat/minisat-0.1.2.ebuild
+++ /dev/null
@@ -1,26 +0,0 @@
-# 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