From c0a9f2400f704c438b0cef4f4105e7bb6c3cbbff Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Mon, 22 Aug 2022 14:43:09 +0100
Subject: gentoo auto-resync : 22:08:2022 - 14:43:09

---
 dev-haskell/minisat/Manifest             |  3 ---
 dev-haskell/minisat/metadata.xml         |  8 --------
 dev-haskell/minisat/minisat-0.1.2.ebuild | 25 -------------------------
 3 files changed, 36 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 bd5dd4a18616..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 580 BLAKE2B 8d57bdfe5fef7676a44bc2cd7cd74a068e839196f1cf32ab6a895244653426d680b4b6b142b367cf8693872caf704c2c84db347aad91ee66de76514f70b44c4c SHA512 427926c0df03465ff14651cea2c1a13b9c5f9e98a5be2b96f28c9dfa39cba0640b916adfbc096d72a3686d70192614f77a218c59053bc01918f20f525ca84b07
-MISC metadata.xml 250 BLAKE2B 3adf9597d5114c480b4cc9fb5c3e231d8475b795cd6dce77986e13583ab6e59b43857cf2328570490abef0062a8b8a6b73d231867f9b62124855515cdc044d6d SHA512 5ef2c1d34a3438b39a38c041d45bb06bd0f1ae8a3f8b971bd5aaf36dee560f380e9abefab0c2a4cd7b518e151f5c6a0d0c7cd53caee9a384818f1bdc7deeadc4
diff --git a/dev-haskell/minisat/metadata.xml b/dev-haskell/minisat/metadata.xml
deleted file mode 100644
index 937381521944..000000000000
--- a/dev-haskell/minisat/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>haskell@gentoo.org</email>
-		<name>Gentoo Haskell</name>
-	</maintainer>
-</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 944b45fde360..000000000000
--- a/dev-haskell/minisat/minisat-0.1.2.ebuild
+++ /dev/null
@@ -1,25 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-# ebuild generated by hackport 0.6.6.9999
-
-CABAL_FEATURES="lib profile haddock hoogle hscolour"
-inherit haskell-cabal
-
-DESCRIPTION="A Haskell bundle of the Minisat SAT solver"
-HOMEPAGE="https://hackage.haskell.org/package/minisat"
-SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-haskell/async:=[profile?]
-	>=dev-lang/ghc-7.4.1:=
-"
-DEPEND="${RDEPEND}
-	>=dev-haskell/cabal-1.6
-"
-- 
cgit v1.2.3