%FILENAME%
haskell-tamarin-prover-export-1.10.0-124-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-124

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

%CSIZE%
199127

%ISIZE%
1072178

%MD5SUM%
fb979e9bc61afde7808241226d0c2a4b

%SHA256SUM%
a8c1814bf10ce90663f58404cd35f0581ea66c4adced067f06d80bac29b16ca0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNNoQACgkQeGxj8zDXy5L8ww//QX5uUhHeSGjag+G1xT5mdhb0JvaNeJhY1LF+S8Pbtzb23wXP8Pb2tI8bPOqVDyJxr09dpsrmkaRUzk2l1y21nntH+zoNBAXArTwfS9AUGuJJtVAbFB4rDORSziDl7IwlShLwGKg+EFkRzr+/g85AsnbmWt0SToMBJQGlw9PsaJ9dedLvMkEQOFXh3jMDgeirDTh0hyoIfBhxWwXTICDx2DPUHILMW7TYErJLZhTOSeHlcsMg0EnUE/eo3DIDoQwgk7OoLBz5E5/Wcv8pYMEkqBqWqh01xIRm48Xgp1VLACx3iyW7pa/HMFxZf3c4naMAGX+Oeb+owYsOJSKHsY7ZYTy3MqopmQsTT3YvAUoTIgVRvLB23P9pjIkKWfDP50Eb5aAVuabA3cS5JVdsyTwPyMzs1dHRvXWlnLn/Aq999crtiNUUXN0WCJsYKG97B3dM/F2ZMhShPvQsRePui1r/DLAbakYvEu/ud74/f9knBjXBrKQNkOWFPKd6O5XbYfQr7tMIb2cE+FUa2J+h2/cdwgnNjrc22tz/zs+6KRa3k63Lp8UclIgcRPZIG8lCD0LIaV240vMEeTpjhuZ2cZg6GdGE5KMag3Hol44RtJ47q6gPNemv0La3I+Bpkkx4dm7sSzn+3KmWAjDf4iKiiXFywZ+2SBc/ee1m43bYwS8pVyo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1758279267

%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

