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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-96

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

%CSIZE%
221631

%ISIZE%
1187694

%SHA256SUM%
12fa9300b20699e6cca67c45872f22d661466bc002cab95efa84f4ad37dbb5b3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbRPAACgkQeGxj8zDXy5JXGQ/8D2JfxTKAN4H+qhuKqSqOl1w5XWj4vOzA74OmsGyQDmbLP8qJ05/CX9AAnDuSHKJ2cLYD9hkBTGQ/oSu6MEMyRS27dguol7oj9VayG0faHAuADVw67ot1k+gbJek72aZprueE8Ore1CP5Vk+xOsQe7V15GjvF2SUI0+xZuBQGZelb9pb8yTggTDy76H2O9aHuO2E3d5fyHKYnnswaKwhcI6TIAGZ9zAAKVDMjb/1ROltgDWBWnWTzkJOturF1Q/6AJ9rIithAGwB1KP+9vaQp9Ztqx0kVFRSX/30U43gz5bM6FcEmn28kqtCnTRp06gil9GdtP3tAtuty3q38EaDc2JJQpfhUJmGpJ6WUCfLibAEDyBOVKBfJX0AN6pqTzMKVCtaceZ900qO1T23mif6AJt00oy/DiFcb0s+51ZlPT07ZnVRqK7cMxx3VshfzGq5cCSIOXlkx1k73OmU+a1A9aj8VPqhWts88VG5S2S4HolStmYxOxpF2PnMmOwONQJbwdIBs76ez5hSVBczbs9AD55/YVvxQnxE7TPZ/1q1hTLz7j4SgBW2sB6adN9ZP+Wh0zIWi6fC5dLLxyi1W5P/GjoE+NucRolj8iv8ryxdunNBkjfxg+LVtbKy9MnValgiJnVQOun4fqSPmO3gEdCR3cZKi0ZptMlp540YJbm/2c9w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754899

%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

