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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-42

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

%CSIZE%
221497

%ISIZE%
1187701

%SHA256SUM%
21d67b008b1f73c010d3fa5bae5b5a435dacdf0eabd3d7216dffe0fe38eff1cb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0zMYACgkQeGxj8zDXy5InMhAAv/lKC0CxKm3gDlZ49Fxi9zYc31tH4/4Y7qDJjyiKfL5RuueLjU3O1im5XNmMzJ42/v2hKVBi39hl6SE6atx0upQ5Sf3aKGXKVgYfjiVx229+5EZulDT3zZY6mu5BxF/yM/tdDtbMwrbQ6piuQc+D/sp6YvfFFls2gmIEZwady1MH/xNOYJCzkfagVYxKhyhAP4uE0DSr89S/mbYENhzsFNfYFyGwxu2DDrbY5ABKKaRCeefPb2qKzENjPcBGayS4cl+z8JYDVTZLj2EIsk6Ks2WpKW4MIuuEomRvx3egAt5pppnDQdguGIl9UkeJp3lz+1Zv7kU621F6Q3GM/HFUW0ShNaQyKa5kwzdAr1WbTznT5S+DzeLTuWWMuQ3DCn4ehGmYFqRSaTDLgV/O3JOU7VWDPUZm6gR4AJN2UztkJ5spzhzW6814UR/GBTCr5XMDAQbVMz1+V1H7TYQucjhhklxpptKmgoUtENalNpFoSX2h0gb8DKbUuV9w6HoSc3UTyXdkvcNZ8XTM1hxRhIocRhuoOptJKgV+DJlyFHyqKka1jvhnhd9hNAsTm4GlcStdtGqNKxbuPv0g88x/axlogB4+3lKkRfnv+55xvinreEVTF8Ss/K7+EcmYkcvqoiDr/40koTbLHogrNV8nlfZsNpjMpTx//BHlo5wkOY1LeY8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781845171

%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

