Skip to content
Browse files

dev-lang/idris: bump up to 0.9.4.1

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
  • Loading branch information...
1 parent d75f2e6 commit fc18662b51483c211d175b8bc1cb0379eb7c0412 @trofi trofi committed Oct 28, 2012
Showing with 5 additions and 6 deletions.
  1. +1 −1 dev-lang/idris/Manifest
  2. +4 −5 dev-lang/idris/{idris-0.9.2.1.ebuild → idris-0.9.4.1.ebuild}
View
2 dev-lang/idris/Manifest
@@ -1 +1 @@
-DIST idris-0.9.2.1.tar.gz 125902 SHA256 3e4601d351c9b49ea08d7ae72ce7b7c0e21982e56fcfca8736069ca2beaf4b9a SHA512 e1ae4c1afaa6d9a1dcd5e7e0e999fe7d1bee17fa4c4bf64b99ef4471e36dc087b73e232bbf4b0857d27b492ea57b841c0f4d95a1d5196c1b054f152d3b84d279 WHIRLPOOL ccc8a892abc3d70b319b6fec585b518fa9c0220966b3881ef505729d8e67475b69eb5e0b7c920228b1f9a74f4ffa3a93a2bd915c9a359941390355ca95073dbf
+DIST idris-0.9.4.1.tar.gz 167845 SHA256 1dca7596e2fe75c002dea6e2a9236552acb537a89639b8f2200464caeccb32b8 SHA512 7d7970360ad3e37ab70b121ff378d826cefa3690fafbee26012f28ecdcfe2a030ce891e53f68d4af8e5e1b0a45e3ea19bf7ac0e252e18a8fc5393e795b49c00d WHIRLPOOL f1b9d56512d0b9a5082ba7eaeda4e24ef28575f78808db63f2111332768fffe1f64b4df7a7caef08299ad90d3fb23e3c1ecf5143d09b32f1e2801fd67b0e5ae5
View
9 dev-lang/idris/idris-0.9.2.1.ebuild → dev-lang/idris/idris-0.9.4.1.ebuild
@@ -2,9 +2,9 @@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI=4
+EAPI=5
-# ebuild generated by hackport 0.2.18.9999
+# ebuild generated by hackport 0.3.9999
CABAL_FEATURES="bin"
inherit haskell-cabal
@@ -22,9 +22,8 @@ RDEPEND=""
DEPEND="${RDEPEND}
dev-haskell/binary
>=dev-haskell/cabal-1.6
- dev-haskell/haskeline
+ <dev-haskell/haskeline-0.7
dev-haskell/mtl
dev-haskell/parsec
dev-haskell/transformers
- >=dev-lang/epic-0.9.3
- >=dev-lang/ghc-6.10.1"
+ >=dev-lang/ghc-6.10.4"

0 comments on commit fc18662

Please sign in to comment.
Something went wrong with that request. Please try again.