%FILENAME%
haskell-tamarin-prover-export-1.12.0-50-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-50

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

%CSIZE%
221594

%ISIZE%
1187711

%SHA256SUM%
3a69e0720565c7829d8b48273e6dee0bf29d0c2dd6b23297edcf679ddb2a949c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4/ywACgkQeGxj8zDXy5K/GxAAkuvWe+N7LHsuZ98uh1r+vbwalpklcFHqbhP/VlEw9JAnofGQzm7vmzYdkAquVnRwEYEyO3F72zrujvnn5yImfG8ce3rz48zwQzcI2gqkXfYofG0nnC3Av7jW8ug1azUd5lxWEDGzNd5s9OrFNhY9YP+0S4aFYIUOZeUhiM8yDPbXDdhnQch9S7pFvqvjAZgrTu2r+zMduohAQV6zz2CwFm/iGLKZFu8G42Embdlfw/H+b6sQpnltHNY3saYKp12EtdwfBd/uYvUtq6z3/rVFXqRE8YAs1mmEOeZk58eU98t+gA015MF1IHf+du31bSJ5h+HLpJy4Y9X1fhQrsXWOU5X+40OPyDucVq502EY87S8Mu4uiQDVmdjEQ7Rrn5VpQ5Blb4FXKUv0bkq+X7xD2EQGGnc20BvYuWjIhIQe/Zqm0LbHWH5PRSdQXjbxttofpS0c4eRP22h4IEKjWJBHo8WCvENvNtXU0xfImxBPxg4K84sSa5BbzEdrJazSyvekNvhZ5vVTcoXNYtdBuubOKR9PktZ2kEOR7PRrpL2ueSYyixZGA7nI4wwVkkw5B3hxS4vCtG2WUh/yst7iijDq2tT4Ff40dfYlD7gIYX0lcKXpq6blCT5n1mR7u7jUEfzYND/dsOW/USgvHZUlXW3szSlguK1aJtlBsT+eJZA2LLR4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782120195

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

%DEPENDS%
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

