diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-haskell/djinn-ghc | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-haskell/djinn-ghc')
| -rw-r--r-- | dev-haskell/djinn-ghc/Manifest | 4 | ||||
| -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 |
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> |