dev-lang/cryptol: new ebuild (a verifier for cryptalgos)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-lang/cryptol: workaround build failure on cabal-1.20

For some reason ./configure wasn't called

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-lang/cryptol: added a comment about deficiency

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/yesod-form: bump up to 1.3.8.3

Package-Manager: portage-2.2.10_p15
dev-util/threadscope: bump up to 0.2.3

Package-Manager: portage-2.2.10_p15
dev-haskell/tagged-transformer: bump up to 0.6.3

Package-Manager: portage-2.2.10_p15
dev-haskell/juicypixels: bump up to 3.1.5.1

Package-Manager: portage-2.2.10_p15
dev-haskell/stringable: bump up to 0.1.3

Package-Manager: portage-2.2.10_p15
dev-haskell/hslogger: bump up to 1.2.4

Package-Manager: portage-2.2.10_p15
dev-haskell/ghc-events: bump up to 0.4.3.0

Package-Manager: portage-2.2.10_p15
dev-haskell/cereal-conduit: bump up to 0.7.2.2

Package-Manager: portage-2.2.10_p15
dev-haskell/blaze-html: bump up to 0.7.0.2

Package-Manager: portage-2.2.10_p15
dev-haskell/arithmoi: bump up to 0.4.1.0

Package-Manager: portage-2.2.10_p15
dev-lang/ghc: started syncing trivial bits from 7.8.2 to live ebuild

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-lang/ghc: sync live ebuild with 7.8.2

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-lang/ghc: port live fetch code to git-r3

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
games-puzzle/bloxorz

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/cabal-install: bump up to 1.20.0.1

Package-Manager: portage-2.2.10_p15
dev-lang/ghc: fix generation of VERSION in live ebuild

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/bytedump 1.0, dev-haskell/hit-0.5.5