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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-79

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

%CSIZE%
221497

%ISIZE%
1187688

%SHA256SUM%
1dda33760cbf4b592eab14d74c457a4b3182726f896b178280785bd2ab8b02e1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAX0wACgkQeGxj8zDXy5LKCA//f3YdcT9YNHZpI1W62+NnUjwWxx1WvlPSLVovvA1Z82g54x5OIav0qXEAu4gMJyjVjsVIUymmKsbO6QaBoL1Tr9bztqsnYKSgxNPdx1WDHZh5R/U2eoRngNTS8zHvqQ2C+ifsugia8qQmOFIYSBF2vPmezy8yVdN+fKwKgNz+hujU59Qs+yTvjUtR6egNzrgHWSICxivJISs5JaI9JsBjPkqdIClzJU/sox3U0zYBD6nIgq7aCh7elUrqdT1zvkxhgsMJxNQs4uOGIy1YODbwix8ZFUqnY8WgkDDdmL5OFbZEem8HAdFDGjdxdq8tPPHeT9gY4QAAr0HeOAFGJiwN+bx8L97pxSR5mIeUEuUpiCPySwF7hIeOtcNnDXXNFh5Wfp3mW9v28oIAaDWGfzFPI9mUM08yf2zzWgZ+Csn4q6zmMN0c+XiTRmubgkAYBKCJpteKz+ZPGvkK+IVR6gbOuR0flKik0FipchpUKiIXpaE6UjnZ7LFtpoO8c9brIBvrV4WoR1xcxb8ocnyrJpk+5tvGRkuMK/FzRZ2RW6JjwyTkLynAj4qQiExOMmG4IXE1W0txYCC7KlVTB9FZjYdlee+vOQccRcse8XReMggI1BFGArk9VVcaPev7xXC/YTddyFjiQhidOlVgOUaX5OfK2Tx10I2IgPvd9ubAZgb4Xkk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790992152

%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

