# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = cryptol
pkgbase = cryptol
xdata = pkgtype=pkg
pkgver = 3.3.0-13
pkgdesc = The Language of Cryptography
url = https://tools.galois.com/cryptol
builddate = 1759137835
packager = Felix Yan <felixonmars@archlinux.org>
size = 35935529
arch = x86_64
license = BSD-3-Clause
depend = ghc-libs
depend = z3
depend = haskell-ansi-terminal
depend = haskell-arithmoi
depend = haskell-async
depend = haskell-base-compat
depend = haskell-blaze-html
depend = haskell-bv-sized
depend = haskell-criterion-measurement
depend = haskell-cryptohash-sha256
depend = haskell-extra
depend = haskell-file-embed
depend = haskell-gitrev
depend = haskell-graphscc
depend = haskell-heredoc
depend = haskell-hgmp
depend = haskell-language-c99
depend = haskell-language-c99-simple
depend = haskell-libbf
depend = haskell-libffi
depend = haskell-memotrie
depend = haskell-monad-control
depend = haskell-monadlib
depend = haskell-optparse-applicative
depend = haskell-panic
depend = haskell-parameterized-utils
depend = haskell-pretty-show
depend = haskell-prettyprinter
depend = haskell-sbv
depend = haskell-simple-smt
depend = haskell-strict
depend = haskell-temporary
depend = haskell-tf-random
depend = haskell-toml-parser
depend = haskell-transformers-base
depend = haskell-vector
depend = haskell-what4
makedepend = ghc
makedepend = uusi
makedepend = alex
makedepend = happy
makedepend = haskell-tasty
makedepend = haskell-tasty-hunit
