summaryrefslogtreecommitdiff
path: root/dev-haskell/djinn-ghc
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-11-25 22:39:15 +0000
committerV3n3RiX <venerix@redcorelinux.org>2020-11-25 22:39:15 +0000
commitd934827bf44b7cfcf6711964418148fa60877668 (patch)
tree0625f358789b5e015e49db139cc1dbc9be00428f /dev-haskell/djinn-ghc
parent2e34d110f164bf74d55fced27fe0000201b3eec5 (diff)
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-haskell/djinn-ghc')
-rw-r--r--dev-haskell/djinn-ghc/Manifest4
-rw-r--r--dev-haskell/djinn-ghc/djinn-ghc-0.0.2.3.ebuild9
-rw-r--r--dev-haskell/djinn-ghc/metadata.xml5
3 files changed, 6 insertions, 12 deletions
diff --git a/dev-haskell/djinn-ghc/Manifest b/dev-haskell/djinn-ghc/Manifest
index 713e6983fdda..59b1ae785d49 100644
--- a/dev-haskell/djinn-ghc/Manifest
+++ b/dev-haskell/djinn-ghc/Manifest
@@ -1,3 +1,3 @@
DIST djinn-ghc-0.0.2.3.tar.gz 3330 BLAKE2B 87a8b2671805b84eca1e67cace7fe2bdb9e18886a873ccbb25bb1e64aae716dc00ab4e1235c5e81b60b41e52ea8f4988691cbc91893aa1054382f0d690b998f6 SHA512 441b6ce7f5d7e4672394bcc6654db9405406540e68855c41b7db33ef9e267178aa56f20209c4a91ffda59a7e44847c7bfebfa3f0c3df3d0868600f34912d9ae8
-EBUILD djinn-ghc-0.0.2.3.ebuild 715 BLAKE2B 68ebfd33fb5fa3ef0f0766109a226a06e4893c3f62e4fa127b7da1726cdd8da37dcb5628ac5baab19c238bc9e8c8baeeed09ec2c1d474085986619556fcf4640 SHA512 48f9252f239c9be74ff4a7d55db2ebef81ad7c7ead849051d08087cea609c2418c31e9aa34a3dbfa124935807b193727ee7e59dd03f2fa16550d85ba6506571a
-MISC metadata.xml 460 BLAKE2B 2b4283dc204fa5b7486e73264cc89fa7dd4fea7136ebd756576264dd2daf675b2195bb62ca8119fa3221575aa5740365348092588b7ae9b1be8bc2cf9ace1e64 SHA512 7720271056a73393862fa94e4e04ad52320c78357660c878631ca4f5513a54e8f9d28bd57a535f7dea589373b68958bda9e3351c6bfe72d3257d7a2adab0e391
+EBUILD djinn-ghc-0.0.2.3.ebuild 682 BLAKE2B e0b789022c3b533ff6687786386d65e2381521498f255e3ac5604913768dd24253f1e4ab4dbfb50ec8636ccc5e376de006ba5f7bd6d8d08cf1cc2db944e54cd8 SHA512 2b827ad819972be95586f48881c5de36aeb5f4c3274125a28d39a9d3a005ce4c26448501bb4e346ac1ed80a71a50a6739d92ae1aca6e204e8db2acc6df012f2d
+MISC metadata.xml 249 BLAKE2B 84b809c265ff2a09d1f06c66d4797652ff4c64205d94323e07333ae0fbddcfb8c58d0176a8cc52bd37e9353371d987b9b473b9747cb082e1c2871ed80fcfa144 SHA512 ce055b41ff1c10209e88579fe21ce16550be7e9b21f87724564f06430aa6f478974f186a10c8ff7e92398f534c09109aeed57eae1c6d2b56b5c99ebfb64a0015
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>