| 1 |
commit: aab610d3308ec3ab1e256da3d982cfbf844034a4 |
| 2 |
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Thu Oct 8 07:48:59 2020 +0000 |
| 4 |
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Thu Oct 8 07:50:43 2020 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aab610d3 |
| 7 |
|
| 8 |
dev-haskell/djinn-ghc: update to EAPI=7 |
| 9 |
|
| 10 |
Package-Manager: Portage-3.0.8, Repoman-3.0.1 |
| 11 |
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org> |
| 12 |
|
| 13 |
dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild | 9 ++++----- |
| 14 |
dev-haskell/djinn-ghc/metadata.xml | 5 ----- |
| 15 |
2 files changed, 4 insertions(+), 10 deletions(-) |
| 16 |
|
| 17 |
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 |
| 18 |
index e31f460a78d..2af6d2945e1 100644 |
| 19 |
--- a/dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild |
| 20 |
+++ b/dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild |
| 21 |
@@ -1,9 +1,9 @@ |
| 22 |
# Copyright 1999-2020 Gentoo Authors |
| 23 |
# Distributed under the terms of the GNU General Public License v2 |
| 24 |
|
| 25 |
-EAPI=5 |
| 26 |
+EAPI=7 |
| 27 |
|
| 28 |
-# ebuild generated by hackport 0.4.4.9999 |
| 29 |
+# ebuild generated by hackport 0.6.6.9999 |
| 30 |
|
| 31 |
CABAL_FEATURES="lib profile haddock hoogle hscolour" |
| 32 |
inherit haskell-cabal |
| 33 |
@@ -20,9 +20,8 @@ IUSE="" |
| 34 |
RDEPEND="dev-haskell/async:=[profile?] |
| 35 |
>=dev-haskell/djinn-lib-0.0.1.2:=[profile?] |
| 36 |
dev-haskell/mtl:=[profile?] |
| 37 |
- dev-haskell/transformers:=[profile?] |
| 38 |
- >=dev-lang/ghc-7.4.1:= |
| 39 |
+ >=dev-lang/ghc-7.8.2:= |
| 40 |
" |
| 41 |
DEPEND="${RDEPEND} |
| 42 |
- >=dev-haskell/cabal-1.8 |
| 43 |
+ >=dev-haskell/cabal-1.18.1.3 |
| 44 |
" |
| 45 |
|
| 46 |
diff --git a/dev-haskell/djinn-ghc/metadata.xml b/dev-haskell/djinn-ghc/metadata.xml |
| 47 |
index 927e4b37372..b7878815d80 100644 |
| 48 |
--- a/dev-haskell/djinn-ghc/metadata.xml |
| 49 |
+++ b/dev-haskell/djinn-ghc/metadata.xml |
| 50 |
@@ -5,9 +5,4 @@ |
| 51 |
<email>haskell@g.o</email> |
| 52 |
<name>Gentoo Haskell</name> |
| 53 |
</maintainer> |
| 54 |
- <longdescription> |
| 55 |
- Djinn uses an theorem prover for intuitionistic propositional logic |
| 56 |
- to generate a Haskell expression when given a type. |
| 57 |
- This is the bridge from djinn-lib to GHC API. |
| 58 |
- </longdescription> |
| 59 |
</pkgmetadata> |
Archives