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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-54

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

%CSIZE%
265355

%ISIZE%
1406266

%SHA256SUM%
6e779453812d8e114407a5519499efd8ee4ef5ba45871707ed1f30c2309774dd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8TXYACgkQeGxj8zDXy5L9og/6A9bo4sIpxguYPf3yp7yHMDXCs7gu54JBc4udM175ta0vCkrRbWw8Mk0mttLojx1//1xaXzM7NmgrpNtpx9RfSF1ccR5i/7pTLT21uYEnsjrte5N/yDblqCGpNwOKVQj9Ll3TLGFE2MtwoTzNaZKs7g0rfyUrqB8w/mW8fMdadO2RlKmMrul0GTPgu6PG6H1d8oxaCfKKujALLX2JPSI2r62iR9h7/ENi1TFMW0Mgm4knb7LJEBytqzQg4zgJI+2YJrSuJy1pe+E26/HA5WaOg3F0sd55xnCm/IJOFkOBiSutkagOXMPW3TYb8EGUaS+uVnLJQ+IFgHopTmViEhiS+lBxgwTVQGu/iyRIxngP6UYyZtrQS89Fq++NlDNkNLbKQJAMmvWLD66H2ZAAGIydxH9l51tMUoT9dBBGZCDHgayxbC2nTE4b4M2TSFfV3CiIScY4yc8gTU8ATYqJmjI3GtHHw0+NMB9G70vVv4INfBFU4DDRRJrah/74KpQXP5CEqmAm2lq3kEbTQqb9bmtDBFUJPTJWChm/Uemb58h9fZrL0tX0xNlDYAusSQOcBQWQaNSMbs/Gk0QMVR1m3/engDynTLXcv5K4MdbHez876hON1YaFeExJv2G64MLwCrz3XLxHdHsqScGuHqktOIcIUijiwnhAfLa07JCDYKySbAk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782336856

%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

