%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-94-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-94

%DESC%
Detached debugging symbols for haskell-tamarin-prover-theory

%CSIZE%
3831170

%ISIZE%
21079124

%SHA256SUM%
66bb131fc714887f478e63bf725d884d2669aec4cd051b78f565d0aa108942dd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZT2MACgkQeGxj8zDXy5Lw/g//ZM+fOtjsk4emFlIA6bKVzJk1kDpJ+WkvXnCZCSneaYBs9DP413j/Tj7o12bV6gxIWuM0lmmXA9Ux7uWmgaKgbn4vAzR3/U/RRi1bjmnS5PvR6gNBPgwi2HVxX1YewBHKuwG32f3TejA4ECxRCVGwLroJkBIBXIDWRIYs59QsMbQcS3deoHqYNn7Fi9QDNfHdi6jhrqPvCK26MjOCR26ajFMOwKuBBjv0ecxW9E0h9VXwkhAlOQiAXvVWeEGLPffF2Ot9MU56QuV7XCHmVGUVEEGaSk0GKXNrEJBAKSNweFdMlXrR2b1GXy4P268hq2ju16oAaEOlHAsPatRT/OAKYvr6VagpbDRPyfo2NMFPNY9Oll6HxWJfnzHjnN2Q16vp+XW+/5OpmhDftRUiB3LSuxe7u8uHvmWOIjmupQjLt3I2ol+Sgg/2dPeGI2O14i1J9QTdRbTGh6UNIydk3958BXUSLTDnJJ+Igo+SPY1YI5eB8Ww++9QxJEfTrhdstsNU24XBAqVio2fftIl/dn5ZS9f/AV/B7eEmreCauYyM/LgzrdUIoJrNudWcbt6kAGsWhOhf1QiC0IlVpqCC+GLK11gRZhPyHcV9qphy5uSxd8Ql2JF9l3Qr7lJCyWIV2n4nrYK6fLGNLbd9ws3HVRHX6C+jcqSkt3hx28dU/bJL9yA=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626436

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi

