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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-108

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

%CSIZE%
267710

%ISIZE%
1429906

%MD5SUM%
aca745265ed91424beb1dcbb94c66415

%SHA256SUM%
79d3af11195b7800e4872c7e50d346f9eb7d6a16bdd67c7a247bb40651297045

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjBy3oACgkQeGxj8zDXy5IPew/+INriszfoFhPkFpD1ULAqHcnkoaK96pyCdxUvrecMVPncZMr7tptqgz5QOpAwc/dhYZpd+bbbEB+ZU2i6W6A0h06PGHjPalF/kWFzET2qBKTugpNvbDKbYbnmlmn/Nq9LNq0i7otZRV2xwjNBoKY1vw3P/RTeD1lHKg6tj3/kNYDhLSQPai6GUzogBiHIuvpfq9NZZczIJ98RtJtll1gGcs18B3SmpEXVKfBE1bDWrzWnt5K0ufE7Oaj8qTYqysseC3ld9B90LrGE4ZC22Os4NVXpIuqQOczpGVekDv+KPN5Ogzz0u72lJ/BnstyumCUiVWqAIV2ENbjV9AAZ5qqWpVjTdBceT9QQKEQ45QXMyVTrplNb3kW/08xbE5fasU/VMA7Zr8WeoiBlPwOYUPzwcpWMcNhhTRkTGjbVP0CpqVWoaGhA0yOJqGAVnTwEDTcjRGIRomwDYQkaTciTEjcPe/jK9WwbvtE9d7JXvNu7fhtpwYUd7aKhfWTnz3lnhAohNrcwKCzTsk39RtiXwkmy/jy3zUNnOQ/jvW6d4pfYKlCZt9bHTy5cD2Ke/Ej/SmbmQpteBJPEJN8FcBtxeedGpTmXhtOPp8cBhTjVcPEpC0jTsq79zMOwP608pAd+IUCd0/gh3Vuu80QizTBH+h24DGDrgsk5K+V43/2aoewzzxA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757530963

%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

