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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-143

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

%CSIZE%
265933

%ISIZE%
1407911

%MD5SUM%
5f71ddecfc2354a62cf199651ab5bacb

%SHA256SUM%
61cc9940570096b3986abc5d6a37554a9171fa0be2dc8b1d21ab3489bfa14e03

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljsqEACgkQeGxj8zDXy5Kbmw/8C8j5mGHDrTe42xsAeL312f0qN1Fn6+B9DVFt42p8I4K5+9zh8Qnyjb5CCuHiNcIPNX2IkAkcDHOhBhDmEmd7msoUBxD2fjSSJfJllSUQASVTX2E4goU4dxZ79CeCRbVtGC/Fj1QvFMbVh31wtXqfhFsPNF4nNXDuXFOx43vCbf4AyTqhW+Dbiy9bjkScybbF3ekUknNj42GsB/iJ6VY2sZ13vsFRFCfEDQObw7RY0JEV5twhTjmzNxdrsUG6cY+nPmwOUzcFnAFa3u3Itoa7p67Drbf5Le/rGG8f03NJezMitSudUFbYHMF4XkJw+kOmmcOrMDdmNDTDDdtlu6PZ6jcOk1kZtDq4s9+7Eh/wYJ9yt4LkqGXCKJZ2MGFUy5oCCnRGYrWk0U+krX9g9pg9WeHZWJpsvHBnPjXZqkBlxk54M5eXgzF/AnTBwQ8hmkvdFYRqe4SG4R37WVekRubQlTmEGVZcwMng4wfPs3HgoIc+uKRH+93uBH6009tU8zvSWtLITxfY1Z6U5Rfby95/dqgnVGjGeGmZHropkXMW2GPPQtbAOSik6H+zYg8VB6jar+k9MIQxURwSSj+zzlvYjIh9G0kNIfpUTZPmCiEzf47G9NqiYcQGRJPnVYCl4vKANpHmpDgFAOQlKFCEWGb1mhA1ryJYVUcNsc1v7EYT/9I=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141437

%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

