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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-89

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

%CSIZE%
265321

%ISIZE%
1406390

%SHA256SUM%
de2def79b4314e85dc3f8b206ec3cde3678dc0866ee8e3b680e26a441140f0f5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpO0ACgkQeGxj8zDXy5LdCRAAwJrv1wuo/w+HzOZmJzTda1rQkPGAuD8bPRADDtFj4HtN/ZOm9oyLOzWC4NuUXKKHRCYvu6hUbzoD9AjYFfUx3J9bHVk33BSjK6FrAB7Xq/Sm5QpNFwYfPHxnPP51Pu/QxZYpEjq+U4fBbi3FzMYh7iVifLr5TMY96lEEO/vQzWTl0/zQnHYmD5ndFAohzesWS5aMgpSnJXNGEZNXI4aq28lZ2C4nByayva+voy7MIrSqvJdOeJclelCBp/6d1s9Q1N7JXd7AbbZhvDl6wu7h1UVepXClFx0YjH0hw6z4JGJasjCV5czbXRIz85mLpvmJQ4KnDDqVyO7nZbkO+acnTSB+9bU38YOXMknCj/zKwLW0j3vNFftDUajoOCIyOUCPdH6ZWQr3slLKAkk9x/pvw+y6HGgk9S3tJxNj9cDkJm4noDTNq4gbciHE67kXw3cth9LAatF16vlS9PEqxV3nLC1pclk70tN+S2aqMuLLElbrrD0+enKlLlINtN9mAtVt8JQ6zOladSqkcC39Jk9OIhJjy2nWoIa+19kqosrB2vRp/nwEpe0A1Vx6N/X3tsT1ToZJGhpOAypVbx81vMKyIG2PAOHSVqIHJSAM389DWIuBw6xcStDXjOm/ieaEEAeOCPaGL2kZ1TffGKHYHb/cQKOiF0BReUmrv32KXv9EUs4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791796374

%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

