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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-35

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

%CSIZE%
265487

%ISIZE%
1406317

%MD5SUM%
3ed46109889eb1f7e469e40d180acc35

%SHA256SUM%
0064c1ea507d07898785fe52aba608563114cd78c239552d067abe9b0a4a3a62

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGuLMACgkQeGxj8zDXy5KhkxAAjcO5VX+T1yb2Q4AFn/84NA9YVWqmj7/dMUlQwrxlIC0tZ1yMsBQxn0ovn/jl2h6wsCysp5xr4Si/dCAYSCj+CIjtUboN+LuSM6LhP3PsT6gbM35XnkbDfUzd3zvtJoWVrwHn1gypYmrgsqk5jq6ZUsnUIYoQOkHuUO9jC7W4Cv5lEIXtuBFaKzj/8bt+MGYbc3iv1EnItegeq4i+OWXZTU4ePYPfI6F9m/mGZ1TYDA/rkaaqdplqIaWcv4y2mke74fm4DUFBaxu3CX36F4SsdC9NatJysUOpqWkOan+1/yqFmJ5inPgfROelGr5ilIbAgg79OBFTuYj4rfjVrbSIPHXhiYy2AwHpcQJFLm9glACJgAkSpZsYPBOQZlLC9ZE0yefnWlyqGt5ATVTHFCKruO6xKVBLARwTfgjKr/rtNz9nY8t/pEa8zsgzMmQr4U00+r/Ynzc+4Uq7MIfOAGn1A7mMQKDKkTkbpffiX3NuHQOCWTJt3he5GaMvaoExPHLGE0QmiNvIR/rh7aTahxGi7G1OChgUzG13LAsVKRoU8wsTRmFbwc9HUqnxtGV0go+8vGNxtBra4u83vPajVx7lpfKB9anFGKD8ZD+Cyj3fPSg10trOViObNGlVbJSXAZ+YyLYWbueM+Xk6Iic00XifcDmk6UL5PwbX2k91kgnuXpM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778825367

%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

