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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-77

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

%CSIZE%
265393

%ISIZE%
1406260

%SHA256SUM%
a6bfeefc151822d06a2c114f85a2cd98dfb8f2316fc0cca38299792d39e8021b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+QKUACgkQeGxj8zDXy5K+hQ/9HrBtcRJgtRiA0mqkyww5sxhx+M4wXytM7Tg573qQ0d7LTHB5k9tKuquTNLUu7A71UvogkAsoFcG2XcthcpLGqUCN9Gq1llE0ufucGZFlutNnBsHcqA/aIcsHwGyOeIkzbkdnOe0UZrSoK9Y/GaO60L6pnSM5LIQvv+xcMN6hXQG+mymc43LZWqk745SyRkhkgxx7nHqEK6p/b6VuvCFH1WRZ1lJhiw+6H9DS7ooeWcjyzvrpx60mJ7BU08e/eKD6muqEHcCj62RqAoMFXCuPhWlI2eB7swZGAPvfAqa0sNJhOGexMy3uFctQrWxD/IhIq4n1sYK6dQMgEnWnmGcgaITe8s8j0OeZSFiVHOx7RhEQgdjJyx3vw2XJSUwKe6lpLKu8MyuI7f2Ga5/V/BDVLmCHnwxApa69yjMhORSCbV3CNutnlXnh5HqXKlm33GQGrCs94wUu7rxlecQPXTF6u2B2BPr0IYzf9KMsnQFcWZohbFQSgMZOikFTeSrbAkEpyYIaVMV6V/cQuM33cxHxALyENmm16BosSvV/UZsxl016sABc5hYbXdmQbszCZ5bJKUO7mMEsLN4qwuBH5gvGZ2zOi4grPkD/Wz1dJlA0LfdYewN2rXxXSt/AwkOhlW98AAI+5+5hQhBjX4eBH3SmC7mv4CbnpLl1AoBTkWNgaDM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790853266

%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

