%FILENAME%
haskell-tamarin-prover-export-1.8.0-43-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.8.0-43

%DESC%
Library for export of processes in the Sapic calculus to the Proverif calculus

%CSIZE%
166417

%ISIZE%
845808

%MD5SUM%
f272a749ab2feb6829287519c9786900

%SHA256SUM%
85c8712370a78087d8a93ef60bf41f3a727fd92597362bc3e3f9cb98a8fb8c4d

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcvAUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZrlw/+NgK0yXrlQTb2X3j2+VCbPT4R09+LJOVYG38aRhfZXVmgIfCCZxPQAg4he5g/rnw8lGURQs0uC/Mjo2kawkNa2ySu+6OyL/qy+6pspkBZf+e9fuhMS5Nr24ISskeomOy3eE95Xq18V5LcjQCC2/uo7E8V+y6DbpdXVERHM0yu6Tavql1kQnpOLASqwPYZBVjBdwricrJ04qGCZf0yUQTrcjsvCP62eX9r0D2RBrljD5f+oQuczsUJ9GrTIQ5jS3U19vcPEEBJd4VzcYYPhaQg21p+fsdlrxIvzCeEIguT4wYUt3NvxajVaM8X2gdF4XlEMc7CFKl4413NuwBNu2Vu+Hlttn3SODxEebCQMGI/q5zVp1+eS5Fikqu3HZlDJt9kxUX9YBfl66q+lCF4tiRAJ3nm4NoH2XRRtmOra6OktbfG0DGeDMx90QxHk4lBWFiT/f5S4g6FDp0ea2To1egpd8Od4bA8XQadjU+fHLNcTSOXK4jZz41oR6rId7i9xDLqir8xoyAmJmesu3bWv/T8huEYJabvIYYL5UMCQ3quYg17+6bFGWRX7fcF5t4c1nMhqioxPVA5U7cnY/QE/F8Pqvb12rUmAonfooaW5kaJ5CBlDqmXHENKciMwtscvs1DHhJA3inARo7GgLaHe9sg1RYesbjxVSdwuee6RD5ilNUc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1715406763

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-hstringtemplate
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

