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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-37

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

%CSIZE%
221672

%ISIZE%
1187709

%SHA256SUM%
59bda2695f2b2e63b51724074edbf7ec3a40c0da88cefce70da7ae7cb7d65bbf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTGz0ACgkQeGxj8zDXy5L7WxAAli+fHhn85GIk2AqRPOUG+/MHvIxdSXq2ro+hdFQhVEw2xMDEei01uJJuLjxMzELGm5CXFGCRjyn9I7Wecr/Zf7EivZau9eZdXnpgsF9ZSlGq75ZbznEE+jLv6SB4zoU4wD/9G88T8LsTaD8oEeEKHKH2WLgWeZfZK7Th6JKmMUS9iCHotRKhLHJti51OKOxNMODGKlCWRJkXSp+5EWmPhNXfxjE/x1sp/QGOzSJrIrGwJGlY/dkAD8DH63Bsctu/xIDU7CS95fn1RO5GxnXi5km8asc7eeV4OyFKoqU1K9MPM8KMiX2jDPE3l86Yvch+Rr3fAXijlHZWYjHscBA9osVIQY60LAMqrs6ht9Sb4mlLFEQPmxPn7eVsJCBf0Ape49etMlymK4f3odmVzzWNzhC7VbsK9l4LGYvwsjhqgkCpXZg7KLXEhmmIkfAXl0P6YtekMpp849tD2gvmiQH0KECOdlPoweJG3mInZmVFh3PdLxiGq0sFW4euFb6wKz7HJIHfD3PIGo5hbZarDN9KT33MUavUP4J+Pxp8iv0NEvce8EsQOloyGjj9iz59pwAor0ciHzWrdeBePjPESHm2zoYocm4oJsYNmJZSX/h6YGJy8A/T4I2Nqo8Dkm3L2NSSbgh9sm12+NYTaWJoEFkWqSPGuGVbkNRtKT3zR2SKOsM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779637031

%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

