diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-22 14:43:09 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-22 14:43:09 +0100 |
| commit | c0a9f2400f704c438b0cef4f4105e7bb6c3cbbff (patch) | |
| tree | f03dacf9fcbf88186d23a1c68620015cca2a06b2 /dev-haskell/minisat | |
| parent | 4c4bbf21230bd972cf759b2a40b782aa4149fc1f (diff) | |
gentoo auto-resync : 22:08:2022 - 14:43:09
Diffstat (limited to 'dev-haskell/minisat')
| -rw-r--r-- | dev-haskell/minisat/Manifest | 3 | ||||
| -rw-r--r-- | dev-haskell/minisat/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-haskell/minisat/minisat-0.1.2.ebuild | 25 |
3 files changed, 0 insertions, 36 deletions
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 -" |