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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-143

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

%CSIZE%
211605

%ISIZE%
943272

%SHA256SUM%
4e97dfc3d4cede7a5f9f3c180b6c21851fc4fdc312ce7e5aabf2fec919361e0f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljtNMACgkQeGxj8zDXy5Ivbg//dD1SCqdCuk62Gg9PLCPcn3o4snp2tYbMaWCzWH+h+g2kE1/Zhqjc1NX6aUKhGZq4mG3Ek3S/QqaMnfoBV4/Gf6p7xYOMWQDHjBLsHkBJr3Y5tU8DSQKscM+Y/gA5WpkagZDK6oTPSsCszqcMqQ3H9Zry1am4EwOS9BkjojOtgw0Yvz4cWgINBr8JR+10DVvOZpemF3mn3qIHvuzRBbLQWhHc/fgXU9ODw7mG1GTEr1oJm26lvAvUS2DZVTSHkLLTqkvA+jKQL/1SlFt2CCgpjvV18i3Nu9J5l8gymNGO8lGQF14p//Qm1jFgTD6o7/A59LXiearwQaHpFFCda7KT7eowXOnWQhfrh5WECxWNw5QNVb34vI/scXqohtkg9Qkcmz+GN3yVhDOLbGUbezt+TMdYTNN9nROxhQGot3059D5YkoiaGDrLONPaJzY8dOI5OkTawjJKNx5TqZ63xbFYM2ESiqri3Cukk1IMEp0kXA/gTHmFUq4EiiAYeaTsHCAmCsOthDquFcmtchcX55P9NEnAViueVQKORXXb+g7C1CXeOUNv0TIR2M/0JwjH2unNgRjXgAxDQN9czRc/aZ/XNmz6x0+J/EB4p5yNdlYHd7/KCVo/HFw5myzgRiCU5skM+N6FGIW8Jx6yiJLNlTKC3sCVHB9VBcTUozF1XBznMWo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141915

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

%MAKEDEPENDS%
ghc
uusi

