# Generated by makepkg 5.2.2
# using fakeroot version 1.24
pkgname = cryptol
pkgbase = cryptol
pkgver = 2.8.0-157.0
pkgdesc = The Language of Cryptography
url = https://www.cryptol.net
builddate = 1594811253
packager = Erich Eckner <arch32 at eckner dot net>
size = 16870521
arch = i686
license = BSD
depend = ghc-libs
depend = z3
depend = haskell-base-compat
depend = haskell-cryptohash-sha1
depend = haskell-gitrev
depend = haskell-graphscc
depend = haskell-haskeline0.7
depend = haskell-heredoc
depend = haskell-monad-control
depend = haskell-monadlib
depend = haskell-panic
depend = haskell-random
depend = haskell-sbv
depend = haskell-simple-smt
depend = haskell-strict
depend = haskell-tf-random
depend = haskell-transformers-base
depend = haskell-ansi-terminal
depend = haskell-blaze-html
makedepend = ghc
makedepend = alex
makedepend = happy
