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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-68

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

%CSIZE%
221618

%ISIZE%
1187692

%SHA256SUM%
3a88808a21af96de43a6b2e22f0ede851da6535179c02978c4b76a77a42a549b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUSU0ACgkQeGxj8zDXy5KHrw//eT/L6xoSyq8D7hbo5AwCKdn+PpKcCVla1Q7lhfoiD9YEgD/03iHIREZ8TD7GA/i9P4pUyK2SlexLhMRC6d0p90u1QOwf368D1zoP6g8HC7Ezwcrnhl2m7jZOY5xkRlYdvExbiicR02zKnoL3/VWU3JK/r3G/LuzFTRv1Affs75XnOk1+g5F1Yy1G6HaxlIV81/0JSpN18vc3s2iJJp202lDVGZS3ZpJq10IXd1PjQsIkPhhVfWWBR8NzLObkIH9294shXTf/oLexcfe6ox+qZZRgt8xf2g6KITganf02W69GMj54pWOVWBgiyakhzybLPMQwQ33vxZDJ1Jeq+2zFDWn05yzSpanLovhSNLqT2GoTg8GRY1R96qLV+8qE10JinZ7LQBirpuTUbfCFWMqGmRc0qYtyPKSs9ippABILHFQaAx+XytBHOZHPt4J9ZQfAxIeSpE6LqbxIRljBwVnUmrJcx2E43DA2gXWoqaZy6AKoxxNQHHpt6A+V3f0nDaynxoRy3x0ZFMaYthFuOWCUKrbqoVqwOabQVbQcioc1NQFl+A/59bpwt1+zvrX7IALfGhz/7cxHTo8XAFOYE61AJ+ZSICeTRmRKb4+KAlef6JUDzufzNNbZS6QoX7/epk/dH6vrEcRi+fhnxAT1R2Pgz41Dvsh437lV7Y2Kkj0/7D0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788102961

%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

