%FILENAME%
haskell-tamarin-prover-export-debug-1.10.0-60-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-60

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

%CSIZE%
236707

%ISIZE%
1085184

%SHA256SUM%
055d67de2b81dcb4cdc780c0a734132b8f2045394092cb8472bae9bd5f00ec80

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHuJMACgkQeGxj8zDXy5IwgQ/+LOmH56RxpQirYaVWkLblYzc64rMf9ThN975h52V/Nn6wkurEilIBDRS9b5P4uC6l9SPsNeA6sNNQJkzPmE9gC+7PzxM66sTL+Gd40/Rc8qlqCzIMu5O1ENow1ILyElM9PQvwrwekfAARfC5OteQzK+GMwO3JYJW5IaUZ+R5n8NGGKp4XPk6mrKrivDYyvFlEocLLk/oZqnWe7AcjM0AcJHeNOEo5lH3HHtEFCh3aGkmz/dhCnNHm2O7G980HCs3r62LsHk8a93pN9sfUgOkrmBi4TZ7m2b89izgtUYI1YbtLOQHnXOTS+w4gf20k1dEA5JxCbheCAEL/looH5iKYiUun5PXE5Cc9RzFAk3cCK8MIose/aNVwl/ybWi2pkxsKpHrtXyc7mDW2i/2IwM69sHOckuwI0yzqmbhSImEe9JeJQE4+7q2OvtT/p8IJM59cC1hwZYi1GYQBswqVg29XSjkPo1DKbGz46pkNyv3Ajx77W3vdQ9972TGU4p2uNabg7enolpqwChaGL8mfaujeLKX6uJ+CH+LrlTvvhtkNGhpD5KZATV0JSs2QnXzAeoAQwtHmWJFov+73M0n83RCmL3+j5R+vhy5dNP81kHuSqUjfeWetBHS64tciSmN+1h23QKocmAyhs4wdhQOpjHhtXciNsMAbNMmh0tDSV28dCso=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753725042

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

%MAKEDEPENDS%
ghc
uusi

