%FILENAME%
haskell-tamarin-prover-theory-1.10.0-60-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-60

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3040048

%ISIZE%
22725713

%SHA256SUM%
3900b86082fb36792fee91c6ee2f8a57d7d6406a7edf14673ac195541bad5329

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWcACgkQrx0hme8KPM+3nxAA0CVA4zQr+bmADqafUbhpJuO/lVmRgZRI5BEOQnUshkJr7zAicgFo7PItxE1c/aOH0bzFYiRwe398RCFd1Yz2jTTGZOM+A76Bm5ewpQFT/DQAEENyjRt3rYY64DziGrIrh/1wjuMODz6a54gK8pRf/HzmOPMSXBpLByangVHda5fJMBPGRwEPIrucYF6M7g6XPG5Q9znsMr1UUQIp24APLCg8ZW0EnsP+q8gMJ/R3X1/AISBvhm60UIX/sEwBMGp583GhC84OeWKXNlfuieovFihpbecFyKHYcjR7tLmzfqBRkyfiVcezEnvYoXX6HtfKsZEddRJY1aJsctXntKNYY14iCqZlV+v2XQHsgBQIli7YhVpzzx7tyse4ez+PO8ZMia+3b6AmgHbaAt337Dpqq2zTBF0Ibnc9oW6xm/st7fgIT5ZVFqYFGEnsWr2td7b51oM3UuJPzJwP1FMilw4RDJ9sacNOcA8jgBI5UShMWvH5w45gthikaHcquJIo7BoBrNKw82fkqZcmRnbtDMU2WUJ2lBDgtooguBc99yuSgWCPfthRiKpPOOZSXdoP7UwWZj/E+f+E6ekYOHbpCcHFs7sFL1Fiicp++KmPhw9/iKGEZL2SKEiXPYMmTGRafZICWlHJ3Uty/9fvpBks6J3ZIpQjMVU33Vosj+cR8E3rMtA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724049

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

