diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-08 08:48:59 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-08 08:50:43 +0100 |
| commit | aab610d3308ec3ab1e256da3d982cfbf844034a4 (patch) | |
| tree | 2610d6520790fbbb48fd4f8d44c90a97f860300a | |
| parent | dev-haskell/disk-free-space: update to EAPI=7 (diff) | |
| download | gentoo-aab610d3.tar.gz gentoo-aab610d3.tar.bz2 gentoo-aab610d3.zip | |
dev-haskell/djinn-ghc: update to EAPI=7
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
| -rw-r--r-- | dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild | 9 | ||||
| -rw-r--r-- | 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 e31f460a78d0..2af6d2945e1d 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 927e4b37372f..b7878815d80d 100644 --- a/dev-haskell/djinn-ghc/metadata.xml +++ b/dev-haskell/djinn-ghc/metadata.xml @@ -5,9 +5,4 @@ <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 the bridge from djinn-lib to GHC API. - </longdescription> </pkgmetadata> |