%FILENAME%
haskell-tamarin-prover-export-1.10.0-15-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-15

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

%CSIZE%
180356

%ISIZE%
973449

%SHA256SUM%
9dc356f4ce40ffb74126f48fed14e4ffb2b908565495f7362c71b70f51c5b100

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUbqYACgkQeGxj8zDXy5KvLRAAsskrjuWQaQ7A4fB1uOQ8ysy4TBj804+1vASAxRu9yKxT+CYG+sIyjhIuwdXN1nVWxUGcUN6FR05wt6kXfpgbeOtxkU660CvdmbQ3H6xvN0M1/tUyrc/Qd9ubZE1gUSblHCaoxFEk/eTFWiYo6l4u07uRLkid9P39lV+ET7xkyuO5x111SFwthz0OslvW32fZOATCZyRJkOAGcCL4RwgyosSGn+M6L5VIQ/R+dU+BJrX5ZYnF5o8qMu44OjVfgqZbxHHaOGfBSCbAzKlAaxsmWHwpduTMLAokBizUuiq3xp/D2PKnxQDdXmi0tar05UaRnaI30qY1j2tzs+HmnkMh2ZfsxYpBafUmWbL5BIz3aWcZEhDfMIUypMU2Kf7Lo8i6ASkhBlZbEyHQponFzCpTOslax+jaH98pL2FfRaL/5B4fIrQPPZtzHnSNXHUVF9ONOX25BpmoTYMGkUaxC2/5eYtxNeZKzhLLJnlQotDnywS6RQf+V1as8rw3S+Sj9eyol51AVp2xWl4VeAWyYM5laW6PE9VPUjFC7t3wBqJpow2pHzGqpxDIP3C+05JZKl9fpfqzQCKLq0xIT5Ghs56AOuMpkLYIXE4aM+00Mg6s/n7LbhycGaHkvvk8hUB8Oz9oXydouAZo17NcM7EISj/wNGGTcO5/pzCi770v+77ORa4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741975122

%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

