%FILENAME%
haskell-tamarin-prover-sapic-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.8.0-34

%DESC%
Library for input processes in SAPIC calculus for the tamarin prover

%CSIZE%
318272

%ISIZE%
1657495

%MD5SUM%
1320ed83aea7d60a55b1fc30cd4499d5

%SHA256SUM%
3aace7366f927d7241633651c6686ee227271c73b215085380638bd74a239b23

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9l0ACgkQeGxj8zDXy5I+tBAAkeSSHMMUig7wkn2dZytGLQmrPUX8cHuCk5ch82WzerT9kKPJUNO/AQ5/YQSPZPkZcTQ8AlyEZTOWYSqDKK9WHCj9rA2S7TnDqge2d/x0k/mzNM59JDTMLyV+V7/cWM9ss5m/TGLO/UKlXCxIUefPuZ19/ox6LQBtl/xxAxQxXi/HCLiVovlRnWsBzjeIawmNP5vdrdkJRp37rhZaCl4XdykIx4NqV26JzAYviFFjB5+0TZtcOsI9u3eECqGPRo37Rk84hubu0JV8dK5mNk11Xt2hNT/ub5NYGkEl+49UAGaI95CPBc1SW2JH2YQrWO3mLBBpSPhmuDzQ79yVN4U9kl/yguBc/UcuYCw+18Wx1wb82yY5Hx0ky/ul2NwwOSJO6pL4LGfhGktbHy9EpeKiIrh5LXSKt/QcWze//ChF3J2mP15M/WzVMvoksfKO0g90PFLeZmYDt0KTliHQy9Rmfx2twJMWviQ5DfVLNXtFZnmB97DiXUHFzyMmN9dn1uP3ZCkY+P97uXrVFYnsS68lqKtDNr25XTPKCxKMYryu35NLsUcXJ3J9mqnfhO3KBf1yx35XUeBPDKwNOXUrxhRt4qif8xu7itTeZJOprFcIV1G7Dv3lF7U6ZN+FN5SMhOhYv7JBN96QrJKsvjc0djpIUSoyYFVit9pihVAfz3vjcvE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341319

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc

