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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-30

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

%CSIZE%
265641

%ISIZE%
1410426

%SHA256SUM%
cd24d1ada0f95bbb3c9e87a9c4cec65d491ddc8f50eab0e376019f77888abb9a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VfkACgkQeGxj8zDXy5KrYhAAqR2O0hkxZQpkAM/iPV/7zMgAGJf42myR9E8viF6nj12t3b0iEsQIXBsbPjtcu8U6vvbvL6kIMN6n7a2C2vyn9T2EPa49AVSH82Z4usgZDWK4bQ+Sa08dGMi+l4hv9DlniE0dwdwUA8A3XYgqaz8uHEBUgVlActLiXHr5/SMoCNCjTsWtBNUOgTFygXUT4J6lzHPWQdyHUaL7C3Au5YC/7X5GJnAbrwrknbQlLV4rgZzEyuAmE4ZVRVfcq6mR8yqHeaaVm20xI9XpRx6RLJmIJtc3diRkNrbe6w+n/xiX0N7lDYmFpVO0Pe1k4MNylgNE7EZqUEN8matWRShUxc6R8p7JakRAM8EftFrMeBjZeYu2dXa0Au0c79WVseZ/Smw+3B/tOksUyiFZNrNqu152vEIyTls0qUVFWJDew1z8MGbRY5z2XkK/y87b4ekn/WaITSvwj2c+xZ/Qc2rwI++2ZixxDVxW21yTVYgyocRRgMbuMwlFJHvtFCmy2OkEFiUDYYUa9eOFsPT5YDDK67TZCqQ2S1QnY78VEr5H3NFBoZRByKtiS6xrOSVnhhYZqA4GRccosS+F7HxpOxKXTve404K3NwviU7TAeRsCylFkTgmQ2oL+LEuMN1mLW7TFsNnYzXqNP2srVh7NLWvXw2m2tbOcC+8ta9zjSEViixzcreA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144723

%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

