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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-60

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

%CSIZE%
3526346

%ISIZE%
19108280

%SHA256SUM%
6e2ef54f417e5df3c0f074b6cab0b861fa3dabfcf792a162937eb2d8f407ce35

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkkUACgkQrx0hme8KPM9mng//bhZhIziNIISHxkB9YygB3fTefq8GlJeZwWJMYh/okOiot7bSRZ/JyeKEep9cP1kk83HkvYs1Wz/1ux5sJBCq7oR5pfRepSz79yopB5Dmt37PzDkerjZBopkCPCJW/AiDAwCHJYxX9Z9CgrcPSXNelT8qStTJB0xXAAOEkHL9XN1bCdCzRFTxjBJKyO+qSGnNGHSe6Pg2M2Y1q5JctuqvVj6JpUXepufAKmuuG9gdggf11o7QMig3GJxoUYnU/hsO32ngtJf0QlkWw5HFGJzj+Pn39XEu6b/lfU2EcuAPQZXCsBWR7ake3rw+x3smAz2v1MR9lWj43eBKmxFw5IxAAnulsrcsMdpUEeDe+YEAsl9lwYaj4nhPoqzZMEXFR9QRvufG5v3zRP6eiF2hRTOgNF/rcU9BExYJfFpfL0HztNqMrvfM2Xwa4UWrRCcZEZVNjafahJfwaktgw+93A01Qv1MXQyh0NANXL7c4/D/FriXxBEkkfe1JVGy1Rb6RZIZWx//4hnxc0krPMJGhbdzV7gG2tzznR6DTaXfAADpyMh00IUK7wfgkmHrPdYZ8mAyo2DE+0GzIm/w2t3TnSaLefNa3bmn0AP6TwzMJ4cd5w1SXQazQE7fnntL1CcpWV1aVIzNFhl9fHe4OfLMgPrThsHN6uR0PevPKPZsEfCNxucg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724049

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

%MAKEDEPENDS%
ghc
uusi

