From c0a9f2400f704c438b0cef4f4105e7bb6c3cbbff Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 22 Aug 2022 14:43:09 +0100 Subject: gentoo auto-resync : 22:08:2022 - 14:43:09 --- dev-haskell/djinn-lib/Manifest | 3 --- dev-haskell/djinn-lib/djinn-lib-0.0.1.3.ebuild | 25 ------------------------- dev-haskell/djinn-lib/metadata.xml | 13 ------------- 3 files changed, 41 deletions(-) delete mode 100644 dev-haskell/djinn-lib/Manifest delete mode 100644 dev-haskell/djinn-lib/djinn-lib-0.0.1.3.ebuild delete mode 100644 dev-haskell/djinn-lib/metadata.xml (limited to 'dev-haskell/djinn-lib') diff --git a/dev-haskell/djinn-lib/Manifest b/dev-haskell/djinn-lib/Manifest deleted file mode 100644 index b019d7e4285d..000000000000 --- a/dev-haskell/djinn-lib/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST djinn-lib-0.0.1.3.tar.gz 14791 BLAKE2B 2c690f8224fd6e00839f2047893238a6801d44bef6e3b66874ca33d4cf2539fdd65a2846277affc8ea568991e380666eab62e425bb77c97c0079ebf0f28ea199 SHA512 9e531055f499a160fc1c32adeba26ef1c90aa92419140ee5659ea70100d51a1e376b2c2e87dc3816928362778dfb20362371aebdd53ad557a1bf09467d33b190 -EBUILD djinn-lib-0.0.1.3.ebuild 597 BLAKE2B 019bf8cdb2a6e390dfa0b0f05619f7bbe4d354d1b1ecd9d2957780bcf1789b76dbc28d1dabecbe45e6e00d51af708cbc65a5862f71dfeb2a7c330c38b7613ef6 SHA512 27e474457637f4ded4f99e30d8bce24fa1541e5bfc7c3d8e1ca7c09cbf444699904290b4530150c0305397e4a230e3a29c419f958e98481339d5851d435bcdc6 -MISC metadata.xml 463 BLAKE2B 87ffba5a099b58d37be41c3afbf86315bf9a6ea27b397a9d340151b9f75221426109cad33dfd90b6f5a5af04fc73f7bea63b91e5c4452dc31a8a77a94adaff8d SHA512 d454d7b4059dedd9f4d7fef1c69a7c5930bc152750ec1ed6a9de069b28cba0cc6871f8087aa8d3f1d25762bef3fa3576fd4120f021d8e2537c201d5a8080b0ce diff --git a/dev-haskell/djinn-lib/djinn-lib-0.0.1.3.ebuild b/dev-haskell/djinn-lib/djinn-lib-0.0.1.3.ebuild deleted file mode 100644 index 907729836620..000000000000 --- a/dev-haskell/djinn-lib/djinn-lib-0.0.1.3.ebuild +++ /dev/null @@ -1,25 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -# ebuild generated by hackport 0.5.6 - -CABAL_FEATURES="lib profile haddock hoogle hscolour" -inherit haskell-cabal - -DESCRIPTION="Generate Haskell code from a type. Library extracted from djinn package" -HOMEPAGE="http://www.augustsson.net/Darcs/Djinn/" -SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND="dev-haskell/mtl:=[profile?] - >=dev-lang/ghc-7.4.1:= -" -DEPEND="${RDEPEND} - >=dev-haskell/cabal-1.6 -" diff --git a/dev-haskell/djinn-lib/metadata.xml b/dev-haskell/djinn-lib/metadata.xml deleted file mode 100644 index f45004f3b7c3..000000000000 --- a/dev-haskell/djinn-lib/metadata.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - haskell@gentoo.org - Gentoo Haskell - - - Djinn uses an theorem prover for intuitionistic propositional logic - to generate a Haskell expression when given a type. - This is a library extracted from Djinn sources. - - -- cgit v1.2.3