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/djinn-lib | |
parent | 4c4bbf21230bd972cf759b2a40b782aa4149fc1f (diff) |
gentoo auto-resync : 22:08:2022 - 14:43:09
Diffstat (limited to 'dev-haskell/djinn-lib')
-rw-r--r-- | dev-haskell/djinn-lib/Manifest | 3 | ||||
-rw-r--r-- | dev-haskell/djinn-lib/djinn-lib-0.0.1.3.ebuild | 25 | ||||
-rw-r--r-- | dev-haskell/djinn-lib/metadata.xml | 13 |
3 files changed, 0 insertions, 41 deletions
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 @@ -<?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> - <longdescription> - 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. - </longdescription> -</pkgmetadata> |