%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-137-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-137

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

%CSIZE%
3528693

%ISIZE%
19108448

%SHA256SUM%
b41f395f9cc8f3ac6a2ddca817c42d7bb8391d847dd69e8137eff3dce0258265

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVMgACgkQeGxj8zDXy5JBJhAAnAYiurekPcvNpm6TkwtQBT+CSLfiUePCxGOZpoECPelUqz4lXXaVkUonSBpOyE3BH2X9ueUaij7HBEnkuoC3/4pwzYWWk4A3ei7xCYpRr0DSlqzFQPg/so/VwHr71fmd1HMDjxzgpiXD/2rHYBSdM3dKi9jVX0MwM+aDwvYfYFnG+qq0txayxDIRI8TT3IKkUxvy1+9fUiAytoFnRACGHo+EYzOkuYqZeaYy+sFCm2L7iBrh0BnCchBYCxij4Uw5zUU+sCl0JlM4Mw5MeRdRhxVI6zbbxAeJLq/qHN9E1mDpZCkET30QxuBD3c1Oxo744OGmztY5b8BwzmVj2cF1Yba80wRi4bcJqeZFCZiclnXPiCH7VZiMil6zrenME4/7ojGZr4ZZXg+pFu7iUKn+IUekH4owsW3TRA90m/E815S8dbC9wjyeZYS3DpdZFr5j5qfHKq0ZsICXYlBs4goAgwlwPXlwPWMlajLAPzD2Mt5bMOnr2gxiBWPx+6j7LK/ZF4P+InqZnIB1qrQcd2P+QutyoTtjUkCz6tP5JLEXDCgwLvlukmasGwJo0VXelo+ediFld4164zznHf1t9hNLkfYtJOPoUM25W+e71eE0X17QSsa4cHj5ix5eWAj7TniNH3NGFH6WcUenN2Ky7qMUF/2J95/n/DR7aXHJJCn9hlU=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056414

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

%MAKEDEPENDS%
ghc
uusi

