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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-63

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

%CSIZE%
265356

%ISIZE%
1406300

%SHA256SUM%
a35fdf08e31566170b4acda1c06e37d1bdd09e476592d2bd648c8af1ce47de3b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM+N/A//Xg9nLiij6usZ7chEAuYHfRCwF0bRn1UBaF3QH8A5OlSwHGdl0OqBJwDPApqomWjSdY4q5V5sLOY+e4+qklYa5X/trELH0/bOsK6CLnK/4fCXsolSWKAK4XQ7oHBalqYeqwmeiuOvIjtscpUl/JYZ5Byi/hUFAW3QkIvog7riVxj6hXZC3WBxRonR04OMAWaz7s5kr5+VpEgGD/BhGYsMvPaRg85pv7r8fmg5ihup7fyt/rY1NTJurbEIHZBr+tksfRn9yLCxuOKlwd9jDUFWT4UR/Ajpy4gdXC3wbAXNqv0B8zLkh4BNQi4BypcaxWrbqjUpGTliJxrSUn2MiwVHredz5MFgbzaCVp+39LeC/dmbe5SyDPQtvrCU6eJ3ZkybJvrqE16EEOnELjO4LOvQG0U7EBiJ8aT9OnHxdkVm/jT3Lt9k8iPGyw6ihcwC3JHQzQeXiDbZpmCXHYZDPtOlJJepxRtayRWelfBCcz1qwWnjXqnMg4AdvsFNYPysPk70L+dVBmY8X7b6dsEv99b+fG4EasoGNd+efoEhYOe9PVPTsumlxlr+RVDNd22ZwCprFforGI/JTZdPBc3uHvW8ovAepbSgB4Dy0K6OrwmFu9Db8x7Nhh8sTX0qx7ZeHtgwm6H5SsfSTSvoay5vePrGeFBgWNbl/jUST2HR6ZpAn6Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045916

%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

