%FILENAME%
haskell-tamarin-prover-sapic-1.10.0-50-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-50

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

%CSIZE%
267657

%ISIZE%
1429954

%SHA256SUM%
418ad4613d32253609dd8d574fbaefc0017eb4bd54e50ee245fe988018374e83

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgy+90ACgkQeGxj8zDXy5KjGRAAv6C1otqeS22XlShACQ9lrkVwFfdBq10lvjSzyvF86Nr3j5j6NMLwqXsjQcGTyJQDr4TLUyEJbmonMNWwckGLOHKbLj21vGtaI8tLIZQ3Ne7hq4Gyi3QZAZnzgDs9i7FgS6XAcytfXhYU2FSETmar2TmK2jNe+DHVaYXrEzD3A93wTga5KwzM9kvscjeLA7zI1kqXdIqmpJ/hV+2gsfN2wlhDfs4wN3obZEHbQARXdU9JR6mob+xd9GPu++8UICtfazfb6PwKxf7jwdTTzgVqMl4XZAVzQ1oHqM9WzSQm0/VLKKD+C22aWwpJ7EGVnzHB/b+5ydxqjlT3dFZIk7iksMzE9ysWo4q0DCNiynoctGDzkzliwvCo0dgde/ml8oyWhT5aFXNtbhaIRtmL9NVMmKV+L+Xhc4OUq47sev9lG9Dw74EylT+dypuVYS/PFCrcMz//wxdTz2GJNNX/xeOhaYkOb/DKb9AN38pERmLeBQCIeb6HVT/P21veNJRS8xisn41wTf0PKJqkVwsIdcrat2T/YbbKHOWD6iDITnxAw5blrZfNcEsDd7vG/TH7LoyUZfG+9ZTheppMp8maTJOp1/4eBqvB/s86d0VOOCfvHzzhm7iKusH+3ft4nX8T2KrbOv84yYRLwxTm5AzR0EPtu4tdVKMEL23RkVRXyO/4gEQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1748171700

%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
uusi

