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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-67

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

%CSIZE%
3831240

%ISIZE%
21039684

%SHA256SUM%
90781654bec60169bd0d015e8815a096f29977d9ec79b79aaddc87988e7bcefa

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNJYACgkQeGxj8zDXy5LlyQ//Xb7unfxkX5JiFxrQugOhazekoDP3uBEWAbODwaKTPZBbkQ+dBtspFBDHC7yMPpN+86GUkghrppXMGahqKjeKmgxbiXzepp4eNeRyApLf+/Q5ncbSLzRUnQJr9xbiCjt5xXw8PBJJVsd3FM1AE0KpdRXNlsNwfmzJIZjvVCEsVPXbT+d9GadLWSui9cjudIPL8VRK53xNplXZf7Si1SQlbQQ1csNHIlBOXDpINyc1qoF0uaUN5vgt7YZ/VJvK7nSDxgjpyZYjmAeLAcFtUmFTdN0w3wQtCP3VDcps0dM/0AzPw10sF1QUsvcFLA+MTku04FRjWljX5n6YI+eQV0cQsR9je+vWKuVW+X99A8ZA1PTCK5J4FZTIrFJqk3MfMkeacd7OXHtOHCe0jPnbkrkf2k/+KSJHt12Nw075B213UYhKtqn4SGuH9PBfU3QDQVxLIjV4CzgObtur6WwdSNl+Ro7hIQhZcMTBxi3C7hEfFBN4xP53/UDqGV7F3Znu5EOSIATo7EjCn3SrZTsoT2GqrAml7KGuj8yT7HSgT6MEjzEcY1kyK+swgZdNeyWWpE/LqzVzNlNi2T0TtDhGCbQWo5C2hk7kSA90TNKc3AmegiWaqjswW4U5xwkY18QqS7YiZrvTOJ/MfaWsPF03nV5Yvi+j6Q12Pu7YIDcYoFtC1k4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032085

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

%MAKEDEPENDS%
ghc
uusi

