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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-87

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

%CSIZE%
221274

%ISIZE%
1187685

%SHA256SUM%
df44325b710ad28ca9a5faf7317d235dd926e7cf0887fa3f79545ed19810eb06

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrmEACgkQeGxj8zDXy5LnjQ/7BDecAfjuR6XszH345raKc2pWGm7KdgA+75pzYCly/kYbrw9NQ7PRduKcp/p/x9r6NpkYqbf/W6fmKNZnAYijp9nHIA746FL8TzcXcw5ZaPkmSuhr94iIbEjGL5R/dV5KxBM/H3oob1hl1ZQ6OvqmWBbA2anHtg5kP4Uv3Q19xHZlqXhrp4CC9aI0Tc2ecgUfdnoJl2QW/5s70yqsBCEfP5vP3dJXCGE92cWX41cTHiyV3DQXKQOP1AHlGJ4g2mb891JaC1IOAMXa+u5L6UsAV5U6Ut0KJjvQjq1z9hdOSsUQ6hvKzTz9Z2RctMIOnMddl45RB+M3IKuCh1qs1+L2x2zmUmspIFjataoA98w3OaHKHFrc18yZ3u4Ynz0T9F1LNC4TYu78DH5oV6OFCRHmqNe78vY/0HbRr1P28aqJKOyrjtz+MUF9AMFHI7+M1zg2q0ouoNYJfZILryFD3ckINiBdtAFcFsIizCbNuNLHXXIKWSuVZIvAUWM6ZYuikWW+dPxVErrw77YCVbAykhYi5te6tTKld542r0JyLNGHdpV0HD6EXdbihABiuvFfQg2iQQ4l9tRv5psV3VNSGzjv242Oi4UyaBzjDbdeyjrFoiV5qDqJHIAmSVDF31DgOrhFsfGTVAjGvZIWlQlogIgqSDv+LySY3BRMmSgncsrisII=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791667786

%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

