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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-141

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

%CSIZE%
265836

%ISIZE%
1407855

%SHA256SUM%
a1f33fe3f8e799cad84134c3459b4198e4414745ac3df5407ebf07b8fc6e1958

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkst30ACgkQeGxj8zDXy5IArhAAkHY2MepKaXp+qRK/X21EnypsRkjFe8TWNXkNrFSWSK592RzkSiLiQmJNP63482jPo9hhWJcwC8cZRtOV4xZSu91Nc8Me8CchjmXo05XtENNH2rP9FdPjiEzx9E+KmsJrAXIC3Xeq3HOuisApE7RHwaNsrILWwFfv5rrytSPxTVgSP0gy/TklQJfslH0mH4VzOoS4uNK2wHeczVznTlIx7sR6Engjvl6qZKNw+wvavPlOLc5ygEnwkYRmgs104QZaG797zNjg3xyTvZRCkxrAeKqgYhjm4GyGJ7XnA/wfIvCY9use7An/p8jfbysBJsqdRMJkk2xEvuzHWSiScs/2dFIW0/LfNOmKDE2lxIGUX6t1zee8nbsIDEgIPM5+TWyqloF5SNM+3uq7HIWTzl1b1LVVoSEyHFk9BgLQG7dK7e1ar92uX4JYker7yZs1GhxBZDK3u26MkkQmTewt/c3b/9fq5U0c8gzP+M7m2i5DXoMD8E8H4koD7DL18PXA54T8TmIMagomoQe92Or2opjOEtd3ITXEwwzhu2ICOEwSGY711OXwAtQK1DSalTRnqfHctYf1cLFGdp5fQiSaBJh6oVs2Kl6e8caIuVDcki1z00vkisGedSG3csoFfO/7eRrzRWM1K26F1wFPAcPYIPvM/w8KE+yq+cLGLtR6dGeqPcs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764538199

%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

