%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-71-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-71

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

%CSIZE%
267028

%ISIZE%
1212733

%SHA256SUM%
988ce88c1c9ef35e2b48248a69a28a36600df418b6b1edafb721eadb73de5a0b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp9FIACgkQeGxj8zDXy5Kllw/6AjbczGk2uMjzuj7lwZaHljvQI5ODU/JuLgbvWfbI+K0mPBKSQalU6J6tedsFO4HIK3jlpDRRRNhl/JOeWr9ANuQix03M5B+dmEtTou2ilNgVYlnpYB4+C1JHLZJLiIdrvmstTPzy3ZJmMStBC4xEyB0eGBDB39zn/IxGJy7OUZxubS8l2GutesOLW1Ddh0e2LM1LQs5EyapgVxC4HNFD8am3lyjuBtbk8wb3BrE3NMIlw78PTLDVO2t9nOtmv0upomfkwhzzXdXjLNY1ut7YktlzZ34r75u2l6yJG0tUBUfXLJgqFXqZkvP00JfvxSzqI1a0J1bPTX1ae/T/IMjqFYS/QM7sMPnfQ6+hBrCM28BUtob82eK5hlbugUSCX7/Xxb3pkv9qnvdi7EdKWf/ATc1oJUJvb0TgwmdhfAogYvPWXawmbX2XTJ6aZWOaCMu02u+SSMer+AMKW4Al92fnQnNnvHVriLEeqsE3oDgvOd6/X5YueYWlbAU1XMsCusXxmjzXrljsIj0rk2CXMeU55EhduvGxSu1afQq3st5+kLk6iGetjBxnCJbmn0z6XZxblAfpV/FBPo9ZAbld58BPGxXRAqcByLdeOU29jxrALppPwFQgxWXJdElYznJgwTtz8lcjp6KzvY43nnST9klp4uL1YNJjaQxLkwVi4+QRzMQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789523003

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

%MAKEDEPENDS%
ghc
uusi

