# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = cryptol-debug
pkgbase = cryptol
xdata = pkgtype=debug
pkgver = 3.3.0-26
pkgdesc = Detached debugging symbols for cryptol
url = https://tools.galois.com/cryptol
builddate = 1760579333
packager = Felix Yan <felixonmars@archlinux.org>
size = 27569405
arch = x86_64
license = BSD-3-Clause
makedepend = ghc
makedepend = uusi
makedepend = alex
makedepend = happy
makedepend = haskell-tasty
makedepend = haskell-tasty-hunit
