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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-96

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

%CSIZE%
221631

%ISIZE%
1187694

%SHA256SUM%
12fa9300b20699e6cca67c45872f22d661466bc002cab95efa84f4ad37dbb5b3

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM9LyBAAhF5sZENjqiYVVr2auWE6hVLk0CcSz1GO+MM/ZXjTpB0MO9sZl0M64jOrf5FktYbAOVwe90QrOPjrifgBfpb+xub1ZV05ZlAbxcWzMJ1EwvjuNam/n9wGRxCQZgGoGUw2QGFnQIaEV+FAmy0YaVTUqp6XRae98TRntoIGZ/+Ifl9H0yxrNgZX+tQwynX/ZNvqeJh3bJ+N9SiHNh4hjyAWzdCaaLUY9jv8xUVdUDYrjZ7WCTKsL9h9sTt0y1Ng2B8B9dw2n2yasOsQpmRiZM/qI3m6fO7Qlnx+SSstkQklbdh8UGOKa2GlqBNBoiRH7Qp7Ngu34B+jB5cbMQLnMhfgMbqHP/HeteHhV+wDNT0vH7INfWfQyMwYm8s4F2YzFn7HGK2zfEmqISvNfVgRlRWhKQlwVh0c/2Sib5knU6TOWtqeHXvXAfPhH6t6SjLqJE/AU7MU/VkeharrHmizXm8eMq8BFRwEyJQ15ObW5cwLqFegYjIJZ/xVA3q8kHnOR0iToqwO64Hg3MRfUKdCk55VTR+Pw6NWAFRG72AFiCC0iYFf9nkewHF2UrNXFZ5F/eVpjKQSxhhEMGzK7xSpu56K1IWUug0OjCoZuXW5RD/E5u5Xwe9baEpjKjZwEL1/WSKfYKJTDJmUtyFeT4hWZ+7mK8dJOu7wk9m1R9XnqIgv1M0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754899

%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

