# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = tamarin-prover-debug
pkgbase = tamarin-prover
xdata = pkgtype=debug
pkgver = 1.10.0-223
pkgdesc = Detached debugging symbols for tamarin-prover
url = https://tamarin-prover.github.io
builddate = 1763510363
packager = Felix Yan <felixonmars@archlinux.org>
size = 3064
arch = x86_64
license = GPL
makedepend = ghc
