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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-3

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

%CSIZE%
254345

%ISIZE%
1340180

%SHA256SUM%
2334e9e8c6d857255920eb68e8e0cbe3750a3a20f91517d6ae02b89a151e5754

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOooACgkQrx0hme8KPM9djw//Qz29S9RsQ1LWoWLspKSs5d+D6KupdVL55fX0YIo8mPMjNt/sjdRqvjh+PK5Mj+W8OWhcMZB+FJ+EhRonMNfHJ1p33hhM9+1EAsQjcuYj9O15wgKXysKdsmMEniuQFnFyCZAoLhHw67luQTQlaxSFV9NzWTwULyYQyQUReYVK9iZ1vaEcI9BW9LAmcX3CkaywfiuiV8KWVkRnQnLK7ZwiJBoQsXyiMAefOnpKddaBWqzM/PNy18LdHUcQzOe1q6H2wDyaFyGao5nJEQqPfpORfvdIm1ADN+Y5R1JjT/l988hxBEtdU9RB//Dn5HBktpAUVZa6esiG394i6L5j3FU5XU5H9dLu6pXO9s3CAoPkMmB3rlRg4Vi0wXucndRkddnXTILBfgBGg092lV9Vzy5K1PqigTEXi/E4IT4Zy4UYOIqZ21rfKvwRxZAfADJUmsf01q4XeioN7KZ2/+zZv6ifvfsMR48i2uJvI6QSgSB1oAFL/oplVE+B4fcIZ1XJgTIcCwYb4/MIS0/Rle5G4BIhVkpFp/OQA8kc5l8Z6+p7oDuON/wr9SBMHjqH2ES5Od9LxIJ58PfHeVDu087soPZI3zpbpaQ/Uoni9sk6XrPCS5z7XIHl+AGzCSHDflwnsXj4/gl4jjICu/EiXCk2kJ85bpzhkDQvfqzy3hnUkLwoL2w=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933833

%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

