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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-38

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

%CSIZE%
3830344

%ISIZE%
21079596

%SHA256SUM%
d4b2e608b79563acd9d06b5c24ddc69baaaaf47d2358058d047a10916bb1108d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodl8EACgkQeGxj8zDXy5L+lw/+J8MHk0Kq6YZizqP6XkLbC1o7zhtcoh7gp9UvRmMXDyyeSJcQslZw4Wz+HI7RNeonNK+8obnzJJfFqhukxK719Y4o5/BuHInQx5mXHIkeEiRnADJ4BM8tsEeISgZ65ttsYwXMEKX4wCUS9cs0+2FnSCGsgT01ihgMzazceaSPZXNBTWI0YpwXxVg0wQTvMFkHpsaTPk7YOHSfH+LdhYirjUCQ3kG3dx540MegJN8HqnsaoTVVWvFNJAn0Mflky0RhDM6VkH1k8oz/wPqOg+PEKPU0Y5satESKg+1mKboNKkPXkN4dtq7KOc5QqAkqWTZ0LlGaClHQnUM+S5RLR0Qigr4pym9uZYLPEhivFCp2JG57MAXohpY074+6whCc8URpz7rwSEoIrd90BjOWAebJVeCwRiSEvBESQ3tbG2YXe5Yljtmi6UyedMoO+sM/xg2WwZ60m2CLWTXxu3ujTD9MHeaU/1rbSRmZnqBcVkaNekpLVa0N/Xviaz9rdq7zPKxW1rg8poblirvui3eIKvlXTsJ7NyQGZjsvqq2PG5L98bk4Gazkq7TzycDBuhwpEexS72UmhrpeGj5R1lASIiSGCwBGtJnqktqRglqTrJEOvtpa2cfN6UZkjJZ6X/W60bwg1+n8RVMfH599tJuFqFwFh1O2L0ViKyZ+bKVbsVmv8HM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324224

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

%MAKEDEPENDS%
ghc
uusi

