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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-91

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

%CSIZE%
221711

%ISIZE%
1187666

%SHA256SUM%
ccc65439a76be81b2e855c4d929d1ea2ad2905aa9b4f48630e851a49d2045a74

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTbi4ACgkQeGxj8zDXy5JYdQ//S3W4QYLsFMd0ue+Ed+oN5IoHIZoBEqjMlNA32sUrf9mUo3MuXDSTkKqxhjMDxPmHQzf6Hg7JBpPAxjjsciaw7hx/E2UbrClIpgMGjR3Wv7chs4Exk6Cy5dVA8CXLdFywWLP+D5snYLa8gmTu6RYPNJIN9MhgRhfqRAKmUY4OvObzGQlLvEAw1cEw7ey0cBiG/Frt8drEFKcN5ycuo0/TwlncSJCDHzQuosmx10h9LX/1CaCW5P01fXsOczuR4EC7sdnqwGVoxAM1MNSCdfIVMJXgHvwxErw32e+dwmUzZtKDO2285lQWkbyCeSSR4VS7vVZz1tfIEovtd1Po1Uzkx/TAgsa+LkQoIWV3DXoVShy+P8PEjlYQVY1WW+lb3On2lwz2RtqHWCqwB2+Nbx105E0YmolKtZMHeCYoWBBeq5Nj1EYuBrsTW9R48YnxSWfklJTPSoh3BuL9QHQk//QMEwKME4MjR+csr57uh9ZGId0he2vtI/bRJQ0oeEDI6lmdJ/2CYDlJfa2PqlsJP1iFL0sumUAad3x65hJhla+rA5KRHzFFQCgE8lBcOiLZ/Zgj6/G8i5ihTrDzuX0Pij8mSVn5OEc6qMJnYz0B2A3hF/nqQ/emLY9rw6S4xuzyQD1yuGUf4+wOA3hJkT8MAiAc2qBp/Bue9EWaqJtcQBazE3c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792241175

%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

