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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-97

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

%CSIZE%
265558

%ISIZE%
1405264

%SHA256SUM%
f8680c1655806a3c07d6c51a08bd863678f049030694cf708ab00ae0bc05133a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0pXcACgkQeGxj8zDXy5I+JA/8CH4wUjQUblHDjETumCUmZ28swZ4QqZYzYhY6ovTokGoft0zS8szvJGSBdEoqoPaiAOx+4wTySeM1rpsO+I4QtWT9/EcGUgnCFEQkI1HobL3Q7vsOPBWL83kwYbeBhrhJbQeVCFgtIjPYE3x64LPVlFneEsH7N48ILnR20BQU9BXXW7bpl1K07v1mMJjzuwL4lLYkOFD3yYXiKvmFtE2lY3zsY5smXVidro3f3mLAG7gsmT2B0oAdYos4loUx0S1o4qP1jUf5yEFgaEInYWdS0YGIyiEhCzW23ndet1TufGoejIT7y322676gEf2zEmmPo28+mg3Khbc/MtqpcDKEHS5K3GkZj/ZWIvmFQ0+jHT5386fAKRs5F3v6Y4Kv3Az6FZtNl73GiqjMiuW3f72qPFasqmoxMvE/JYmoQqKaqJNVMAN8s+FBE20plHFWUTiGDvp21T+iII2incKQlsi2/e73R4icTUJULUxibVL2Kg/IKjSCUObxpaSPhZ1yxO3yDVxT9C1X2ODPiLbtQDqOuRU0iVJarg/qaRB7csjKa9qctiiLUMV3JLDfzON8OpcfOE9A1+KFifr7279a8CYlWPbD4D7KDBWB6sVJ0l+lymEq6MDWNBAj1W6N5JXQrdPmxQC+N/MXox1lPARbXNsN2L10WY3aSog7uxdKUXIjw80=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794418011

%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

