%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-91-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-91

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

%CSIZE%
265539

%ISIZE%
1405270

%SHA256SUM%
e5534e8593dd7cb8a42844cf3136bd82feeaba4a29210b84732c477383ecb325

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTbUwACgkQeGxj8zDXy5IgqxAAwKPLasJ+P1i5xpGfNL5Kb+fSY7tyzhbanSfC44ZF43DQWeXI+5/cljyIScAnuHvLDpueqChd2aBMYgNlnrtNO21UCm7cnWtphEl5lSf7thNoaM5AjxXXoFDXOFFDXk/gl+wMaHmd1mQNUjOr21T3q9YpEWTdSYVT3J3/CeXnXYVmsnplDNUf07NFs98XwC+YG/wfhFah/aVhArLmeS3AwntD+/5mnbosZsCDkLD60MPHQu1mlbjFTe74I+AZ1/vqOIjYCwczUvbxqvPvSNjNTX/ZP0bulVA+bYlpy4eya7t/Zc6d1R6Gr8wp2nGAizE/0wtAa9SXWQoQofVXz6FkdIBa4NT1FKHupUnTcvMbDg3JnfL9fCljfLztlIZjihNv3vUm1XvyeVU86V04SdXdGX1kbrslB2JLsN0cDAtI7cLFXPfOMT1z5ku4WbVuyWPOFhWw+KUrE8m4qEFStX8z5Jw4GFUQnnJFLhFPsfsV5Y+Dj6W1WJUBvEAa6FwRRtkoCC7QWLQWEmNR3tNFckxXRrqi0q5kevA1IgGmW4SH7d8S/4joK8fForHI0LB3xXtAMwIzYzZdgADoQHzuqUSiRJv3Et3KStRbr+AF8KdMg8AVQaG6dNroRkU+mRqBR3nvCRZsONhR4cmBsnmWlg+R6rgZP+Mt8Ds7Ww0R3/5Uy2I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792240946

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
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

