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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-86

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

%CSIZE%
265569

%ISIZE%
1406438

%SHA256SUM%
cb71caf5842d502ae2426b6d6c475acb0f037863615002635e0d0e9c15b26bae

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrHaPUACgkQeGxj8zDXy5K7gw/+K10flSswxObN+cglLij/Nlf7fm54yIGvB653XugUp63pnIqW9eZmtAMXbRa7JK5oHh4M9vUGHhM3Itzt6nDdvsobqbP+6a0vxjg1cJtWFEuv0RUaaeE94nXZFg5kgdMaD3Im6rvUUBy8TgaSYcD6vSbk/AdTwpbjzJLRWgf6TYsy9lSbgLWCa3v8ijS9VhBBkDkWKE8BRgKPAkM2n6WpnKbDiaGRqpqznLlRvGLzS4Gpo3z4JHCiH8hUjlZ7cPW8KiJaJClzffVfd0s0Gh1S8rEt5vzN/23obQpWZAWG4jZ/pubEC2tJGFjPn7Qa4QxpTQTaETUGlwjmW4ex0ZdJ7lJ14N40fVe1gOy+d4b5ArwNq6toPQ61DPBl13Wg6NuHDOFIFjvDyNsWjeKdiTbORJAy/ud8ryDCNbAdTBZp4EOUdQeYBQlpgCNMZrynYgJXlx0XtcpA7qPOoxiFvngRiVEyRnd/04tmADCGIgg6pDZWyiKF8+yW1r7t4NqTwUy0jTXNfzgTT/2vGqMaS2L2CpVuy3kiEUqsiWjSIIUtt5mdp9fvCEt4FMnSU2zt9YLutiUaOmStvs0uTI5xWLvr3V0EYIlXg2EMtdq7FXer3+BG+oAJNQ5Ys/zbahq8hsKJ8GMdrhMMDQaDcarjtdBpsl9kYzMhGs/pIYOlwaOKYlo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791453313

%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

