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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-15

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

%CSIZE%
253924

%ISIZE%
1340211

%SHA256SUM%
c126d7c880d516e587d0a24072b223625acea8adabb5206b796712349312e1e3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUbNwACgkQeGxj8zDXy5Kz3Q//W6tkps77ZQkQHad23ZhDdrRnaELm5+4MCY0Nl+QX9q4GJPyOUNj7kj+5W676LXb8q+5PQTcKCDsVkskHPS7f9TuXvUGp3Sde0pR0r/dYAUnruRhWrkBSGbVTghC0ks2YtPbIXY6M36gOr8+r7OkKUgU7Eu1pN+bH5rrt1LN+vrUL2fJ0TIWHkM+fm62ICT31DqZqGa/9AVlrZivwaAOtf/f2Eka8Fe3PewQ/iCWDpWuO2OOid+NKZK0uHZve8e0wNpW/q1dHoODKv8LaJIwGCm6xBhmnxaF47vJjlecNvw5OHnttyE0vBbd5jj0s11GNAOj/H4hun63nW6t4SVaVVPl/8F+H945Cm73+baElqdBOPQfsRpchw+VK9dWMpjFB6uyr8cp+W2YG/ei0lWLr50RqhKYm3QQmil2NyNRCJBAz2rW4cBBsAVy5uwKutsMi/gEQhzG/XXHwBIUTxNsaRNcfu31YjI8jm4schbRT4GsuTjXoeikgbZvbO+oBoRx011eLbGDtefxpgIRBzlh381x1kKbSfoTsiai5/i3nCMU6P4L+OO6HFHPAZaAE0np6oquGlRONZNBH1fooAq8EMq6odJf9KGIng9SAoZwcU3XAt4QvXweYl84mROIzRbmWTQolZpkq9dh2uA3oozUUlryFl3+H1DTPrH8mMiLPnys=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741974711

%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

