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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-63

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

%CSIZE%
221617

%ISIZE%
1187687

%MD5SUM%
e45afbe42f555d4c663bd921056c27f6

%SHA256SUM%
e936306918b8665f75189374214f6a74aff019ef75b97570171a76de5f6c7b3a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHIDQACgkQeGxj8zDXy5LHrw//b7/HrrFljE943neyiQoe4x8EuM8028Il/FNtBa5ah2sg4NAWk9OAYHLjnhSTyy6UtU2Z5T9/O3eDPKzWizOi5cBMPr+dboH5iwgwnAH1Cf3/hbYsI1ESOmctTM4BWTeueWK/at//s3tqXHowbxoTh3N43lj1IIyOe5tEq9y0Pqt30GecT4h6CQshSHhppw13YShCUgJFp2ePm76KxnKxHJkjwD0Ud2daQlWFoJkvFMbCGmYxyiy2AaX+vvAFHWUf2AIaKC0ukI0jK4AF1zD4aPK7Uwp4FrGpMSFGTyaxFIpDdaTVetEDiYuLmxcwHzSk6tULTKCL8+jAICwFvzXobxfpvfMygPzrLG8q55tIWtqJWdFtJzWkOG1Hq4j+N9pmP+RfhFiccFuO/aroqIP25vdrnseGo769bclOhn9BDlrAxuOzwKq5BJTM57u3EcR/+yfAyaNQVhM3H8BeQeiikGycgTEwih8SArbNlnlPjvTeo48tkq9IZslDYylX9wFdCfqDd7zpKEzHJvuSrnwXVhYq+g0RrL7VdsVZmYPZu5WvdLwxtYMgTapLpYmE3pZ3xQYp/ZSfkr/iLrPFbfvAZkwyC7/WKGAwa1/PNXn4lkc+bNUf51z/dPreoNELWhAJbWZoyBPHIdNLW2cu62mNkNyuRRdhefWidVT1eZaCQJQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783046152

%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

