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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-71

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

%CSIZE%
221504

%ISIZE%
1187678

%SHA256SUM%
9bb2a7744dde843b38db1ec42895556acc7abec677bfefac1e92b2319ef16112

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp9FIACgkQeGxj8zDXy5LoPA//YD7Ijs+8seWZwtYiirVNXvlQjmeTLUgT7mDWlDzX0F4jEgDbP/lCjcbcZuc4FRd3cDfkBMkH/PD6kItUv7HfTvC73KVhtYFm2fNO63ddYrp2vCjEev3utl6yFSHMVCqPiIXN/ZtgHYGsK8cWS4YKwQ6Q0JoNL2uYstlTN5xytSKTJVOmQHpoWqvucJWx6ua7OvwG2pUJ9pYHDh/INlepUw2dzqoooIkm4zifUyfWSotetm2Os+wb7kgmIprZ5RpBNZ6py95oKxIMSnIARKh5vZYweyALPHSQaBxF1U1MmCpUpEMThqog/9LfnDAGVU0Kt7vVWcKbxjEAB7j7NL0Aofg5zYiksbklKfcTG3DGNJFyi9Ws7mdsMS1r3CRGgl3gCmmtYisGz5jPJJf2wr3INyuyyQox3hPMplL1SDFUP1yOsu/pJ4lHKv3Lnyxj48Mn6qC0XDVIm4woazR/3ps7aIzh7+mqBDYOuE7FrE8xZgxj3mGEElbml/vuMOyfxZcT7FdECu7zMIp3Rl+D8xS2ckVk0zrizj98hPlvxXykqiQo6qzE+WlnmnwypjqBRuwhVk3P+kY0tgEvYtaWtxSSzDe7xzfYYcCS1sLYRGgmOYElxJAOOwmMNWnO2FsxOHHWyJu9ge52tZ1H/fxCsFlqDZQqusBZTFoe0FHPbacVrCE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789523003

%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

