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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-139

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

%CSIZE%
191848

%ISIZE%
1024817

%SHA256SUM%
33f12799eab75044bc8392927ba92375e4460bba7bed37681cb41b4734ff9498

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuv3EACgkQeGxj8zDXy5JcFBAAqgoJ6Eeufy6BQxnTKKqiZkIE60RnS9DLr2Ap0wNSM4PBpcm2rKW1UJ07qe3f3YxZAaouKG3no6pYtoE86b3Bh9xv4xoJRvuueaHETCP9EvEzcmbk5wxa7vdeLk6DQ+bpRlzYBmJJMTddBQqQsMKSFbQ1AGx55OVnReEYg3DagrqK5/fquwBWzON9w+Yopk5BlZqs27JzB1FXOztCVtA2UTT8fGtVf0+uaktykNIc6WrvsSWGoguoQ6kxH5aObLQlEZ+7dRr3WuQklnpWIbZjXy2IfBJB4RM0wLbKV9aXc4KhskO7aQtrpY5KgPoGpJLwnZVtcv3QP2VW82X2d0j2f98+CapqvvjDBI+4o1P75NvNrigLquL7nl8cu+Q0L3/i2PN3Nk2c9DFvqn28l2IwnoNxJ8KXq8LQrp1MKR7WWGQvUbdNCfaFeogPNc6AOQxMK3LObDAGRUOJXuUN1xfT1OqEEIifuG95D/iYWKzz2801PK98Bt3Rnd2am8lTenkEJCYjMRMlMby34Q1dQDAWndpX9w/IdWvKs+U31pB7hPrYeCaTInhWKdRMh3pP60sSRCuhY+MV//eRv4rsgo4vj9TYRldcXZXs+y8lRWH+q9JYtOiiPPEbaP+MGyGJ04q5jlnzaN5GcGwYmtpNAtOtJvnB2ERjYZVE28veqlltsM4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760477006

%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

