From aab610d3308ec3ab1e256da3d982cfbf844034a4 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Thu, 8 Oct 2020 08:48:59 +0100 Subject: [PATCH] dev-haskell/djinn-ghc: update to EAPI=7 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich --- dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild | 9 ++++----- dev-haskell/djinn-ghc/metadata.xml | 5 ----- 2 files changed, 4 insertions(+), 10 deletions(-) diff --git a/dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild b/dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild index e31f460a78d03..2af6d2945e1dd 100644 --- a/dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild +++ b/dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild @@ -1,9 +1,9 @@ # Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=5 +EAPI=7 -# ebuild generated by hackport 0.4.4.9999 +# ebuild generated by hackport 0.6.6.9999 CABAL_FEATURES="lib profile haddock hoogle hscolour" inherit haskell-cabal @@ -20,9 +20,8 @@ IUSE="" RDEPEND="dev-haskell/async:=[profile?] >=dev-haskell/djinn-lib-0.0.1.2:=[profile?] dev-haskell/mtl:=[profile?] - dev-haskell/transformers:=[profile?] - >=dev-lang/ghc-7.4.1:= + >=dev-lang/ghc-7.8.2:= " DEPEND="${RDEPEND} - >=dev-haskell/cabal-1.8 + >=dev-haskell/cabal-1.18.1.3 " diff --git a/dev-haskell/djinn-ghc/metadata.xml b/dev-haskell/djinn-ghc/metadata.xml index 927e4b37372ff..b7878815d80dd 100644 --- a/dev-haskell/djinn-ghc/metadata.xml +++ b/dev-haskell/djinn-ghc/metadata.xml @@ -5,9 +5,4 @@ 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 the bridge from djinn-lib to GHC API. -