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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-31

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

%CSIZE%
265240

%ISIZE%
1406332

%MD5SUM%
c7c332f32e92a2c6cd5267ea8feaf88a

%SHA256SUM%
5f94d966e38989e8bed75e3d9e3a0fb40e160600bf3c54b8a3e49c05b8adb674

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoAvQoACgkQeGxj8zDXy5Ixqw/9G94bUjp3PwoU06P5HdtM8Hy3SiQ7ZC71TGZxIPziROfbk1igMUUcR3xxlfufCkSW2xDtn+RIEY0r10rEu8U8mDDRpO+2n38gXXgwMFFSk3LUZaeCKY+owcPdBKsddzDa0Iij0EHIeIxRss/+fuBIcqMF+Am5Cvfzl+xvq7OQjdSG/MkGquLLXZK6KytuRG6mVux9Mj/jawC7qWpBtkqIoyeuBquQEsUOQNuVIMNZu+dlQvH+5UCbEIe9uikvgLHgdwflhbr4U4hspQn0wX7g8R9gjtx9vnLhp0s0ZKFjzerQUikvB180KgzuEhNJYA0qaA0cBws6rAd+l+YyiLsP3uDUkdDBWTO7xh6wUZoHogZCX+vJYE/ajhQjwdcgKL0VTVjAsGMAjtar2xZwZnCN1uen5EhMGQeYOSPoW8/qfuNti2BFAFQ1HdDO6Po2ttmy5ZPmFMmF40zi5g1uQJS7pu4uur6bpGzOze/CsqGLShwG8lMZqeScx0pJf5xTKGyGskLixuWipn/ffkAsFxfYnon53toeyps2jmCEfMnNH8frEdTFxFQf1PnBHDxrQB9EJifFfy+5/bGPPIyqV6B32ESquf0I3Wk5Wy86WeeoCmzFt96681gDd3XNnJzWGkqDj46YaDn1CG7QVpMYDWMZHCP2r5UMRS91WWp0un0ue0E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778433256

%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

