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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-83

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

%CSIZE%
221509

%ISIZE%
1187702

%SHA256SUM%
d4dfcd2d5ab6acc54469481f6dddfae830ccf3c9eb0c9f3447f66a7951af3d47

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCinUACgkQeGxj8zDXy5L1sQ//ePmz3n0flWFp5bSPeTHv1Mql+1PwiECcFzVMf4l40ps/+QHEZuKUwoAsAOrmbYowEVGaEpv4fuyFDRxjGStGLSnKoE70oWvOtDBA52R+EGk6KzlLSrnMxE/KZ4nKDuNPVfqyFC0Wcfjas9bA5+nMwbdUlJjL/kgzJxBZMjJIDRPsf0WBrwEUlNWHZYmY80WbsJDNZ8TOufbbKr+8GNirv4tvaHkiTow60KY4OyBzyLS+fFmmPmGy+anubKKcmz9ycfm7v0ztIB5R9WBzmX1DGz3vMBB/Wvy50d28q//ftEK0DqSsz3hBVMcpLgbktGKWAY9LxzvEc4sFa9k6mZq9dBx9BbHiDKUnXyAVFqvN3bKwiMst6YrRd+8IjmzvUk8QaaEpDnb6HIxnC0hgAJNavtRkpBmWYzsSqA+xNtaP/5TV+dgCzjowNxiuWPLtVC9edKtnJ4+y3X4APjVMDinTJcGwDSIm3OSYAeJ4OMfrCnRgJNgn0EIODwbBglJRh0gR9IJSWaWCdmAgd918h8QR9h9FCZ+0/c0fACF2t9qsQSTWOAkgp+GNT6TzoRIoFkqu3krO8rf8XUFgn7vn7qbRM/rUpJgMgo0dIB1cheXrODKzNMuZcU9UGLiG0KKlWVg8sqsPCa5yveWCtLOrm9WJja5u7bmtSCfBNxc1rq/nx2o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791134294

%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

