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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-142

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

%CSIZE%
191757

%ISIZE%
1024774

%MD5SUM%
9218ff3df4c2f06b1ec8eee86b993939

%SHA256SUM%
bcf353db1b0ed52ce84b6ca0c2d4c74863a53d0ff6d9e7c75c0b3b279a47ca9b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlac/sACgkQeGxj8zDXy5I7ARAAwRoJZ3It6Jpv4+8dJG0cKOCrrZNBS1BbIY37MhHQJJo4m9GEG0Jhp8v/PodSffYyfpcD+TqX/D+j7AD/xCVrDJ3ROZ08U6uKRKs9BbKxem2xvxEgWO5avou7CsADRdNBZ4Fs/EWuDYxp7/nfMTor0U5EiczTTiU78bHw6jl7Ik0kBskS7+Jvi6Rd5qmnw35PWV6QeC+mGbIKnbHKqANa0/PF1nJmUD/UAOivumDftWMM2lYJpqatc1Kq4cAezFc8jC161/8cdOXn3NzCs36xSsX8TKtx+0f7E3xMy+X1bPriVcn25IH04Kp6BD67HMVUuIVw8XOrZ9ttYwMkiFCd+0HNE82R+jaaf8T4vYtoO+3QhmPpVS+ZnrN9U4G9R41JRqtIguBZSWtTtQ/RO8U8K0V3g52ALRB5+PYEKHGuV55dEybUxdei15pGlVsUtGgHRVbTojZ4tkRxzKKDgsORyvJ0yPi+S7W1Gp1aUt9NGhUy3Lnf9Nz9Qncf7VivINwTCqi62jhabURNlHInEtguCjWvmq7Jx0TuU/4LopUJfoOpIdy+wAJVGL5SsSvunXwBvz0p6+cNMGXqtNIUdxuo7atb4nto3CmpzzZEL5MQs3X1ctfMBknsH8kY7v46qwPgNcAgEr6S2DWSil+nn196Rx1a/8B5jAec0MThhcF9Z7g=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767535560

%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

