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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-93

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

%CSIZE%
265603

%ISIZE%
1405226

%SHA256SUM%
468c1aabeb103a1deb6daa0900af082c84e969558f9a4fdc684def24ea48cef8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYl1sACgkQeGxj8zDXy5LAyg/+Mlr8KK0kJI4/60dsxSeB9vjKFu+WM/ThBZZz1eIGsm2NNtW1gRZx5jC6Fiu3ZQ+bxdLduORLDOz0i+xbPHHD62JM7gWjJl8G5Uu4Dw5kOsrPS/qgO93OgWBJNvVoVDxGfTACg3NV8JxnFKHuYQwvk4Hc4LvqrC/aT7eQ+44WkWzbrYfkMepLqcK0S2V5x91eG31rMja2r5Dxf6uVRkqzfpkhOrcnOkGgmPtj9AubqlGfxhNQ9vcDzLRTTiwu4kMjploSaFzX86nlWi+y03qBRzctwknl89lY+g756N8Ec/wyGfMNE5FK4TXL7XfOZoTYKylVeOtN8RD9QV9gCyKIVw8MVD7R7iOrcbY9xsadezheZcKDAvspAlPwwUSKRwhEjJjRyqiRJnyOiIia43WeU4yc0m+Ed0s1+hdIG/B2ZdVd2AKJxefvaXZaHVvqMjAmBxqgs/+OgLGddkZTy+7JYrcUzcc8epOeWpilWcVDw7x6iD7p6CPbZviIa5hr/eVaECLknoXWcTTd1zRnDEpLyMEReL/Oa5SiBTC8aXOHCIHsO7cH2HmVN7KRQBwj7RlvybdgvdYmsZDE2rK0eGXYh0CJjQcskY7+iGt1dMkw28WTPmyV/RuxLGTW+3q4iG6wff3OJtl/FcbpDgSfHEN1fus6BuuCU3jsRPYsnEGeXRM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792579335

%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

