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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-23

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

%CSIZE%
221761

%ISIZE%
1187698

%SHA256SUM%
f378b81687dbf5639ccbf4c52a73e0d69b0e296b490b682c60a95b124379a7bc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnnt08ACgkQeGxj8zDXy5Ir+g//Scdh0MugNlkq4tSBfK+jOuLB4YI37duFt8OrxI8spKcIF3s3ozwXL87Jvs1xCzQtxeRv6OaxqpflkaB8V+ISKcM3gXuYGockYUl+SXz0bahavuIB+ThoeNeGCd25iabqjwh6pHFTaAFa5ci6wZWQmpP0gNgnOnp1dWJapMO2tD2bFI4iOZdM8asZjW0VwXUnhPF7x+oa/AdkCsAn8oWuzsVocCIBJcOUj9KZI82HktlXbKL0e2n+nuO8UAQDS1sakHOAkWp41JV+Suy1Gpgp9ob2YZO/nK8xKzQJAp14X1+nhGL9N+oKJSNjTiaNu5iGXGDmTQj7OZAOjYsPRDZbBMe7gQ+ckeXQV+3ba7P4jJL5w+TfZV3qCAiBa9O1upTft/N4fi3RZIR69yV3kbyjSVQoaxyS4kyHkbXP9eAYxQLoow+xGWPheYWpXMqHdF0kPHl6w3o4G6w0c+G+14E75jyBLQrrrSOflH03BJeQgXcGh4lHMbiI0azvSo4G9vhePUN180T1JIS7A/rEdMskULTy2Sqrwa4wbhn8SdBm3EmLofupS7pil+rBRb6DXTu4fQjsKvkmeXVUx7kwHSk08V6qNdqUgjV+gIzhH7S21+Ubit7PN9cCvZMk6r814CinDCz/tOy6qPjClA1jMnmc+9kQ8cM4dKYIqcBiVyUwYbk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1776793405

%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

