%FILENAME%
haskell-tamarin-prover-sapic-1.10.0-142-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-142

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

%CSIZE%
265992

%ISIZE%
1407834

%MD5SUM%
d98a23a5275ac261aa8b81e277141a2d

%SHA256SUM%
df7947f706eb466005c92bc2909ddcfb7151b1b16eb5f41ca845c2702f8c77ef

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlacqQACgkQeGxj8zDXy5JtsxAAtOE6IVYFmYpwO/ERQBHpuez1/1FNnzappWAvpNUZh6PtjqfrB8g5dtV02zddOcYyvVy80KvJTU2HL4rkKsZVcJt16pmda5SUA8hAuyCxd4+BUoz1jCYqjGQAhC6D6GFY9OoOW+5cnO9R+v+UOtIEH0uB9EGXQcrhvyrJXNA26yJicrHnsjcJnsaDsFeVbVHTHY+htGkV8idx9pK6opUX/ZkbVnq6TE66coBAGZjjWEFX7nzRDsIvX9iCOq98ogHyfNMNM7cDfOlTtOJWa6+5K7lSYE1bN2v3QrxVG3rBp++S3Fbts3CksK5clsUvoczUY+w7qGptaBO3TqUDI50Unin8HeW5pkjtSFjfQrqaEpOkp4sQvLJbfpJwoRaMTVHTKYzazYY4WsBX+qiZ9mU/qpKNIFFMPzMV7NRuHUGoCfGBOOposiWDxOhGaNCBAutN11xCRjMY5ZKDE26w9VIx60QyDNYEBXXTTIaIplu3O1onnSvnvxh4hRFaN+7H67fjL7LMlIDCp8ovG6gZCZX3lgaRUR9MWHxl+RCCD4EwqywWvUD+Zg7PN7fCGLyyBUOCsHtogfYk1PLwZMFKbAUZlRVgqRi6FnMp9Ew6yIikIENRYCWK0BAOu+rxMh+GbEfggcPFOFMi2vJMZU1MGNoZrvHEsKPadjgUbEh344kDEPk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767535221

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
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

