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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-81

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

%CSIZE%
221318

%ISIZE%
1187685

%MD5SUM%
bc0b41ef2e5925471b31d39b50615bed

%SHA256SUM%
989d8a19a6320a5d10371d6383ce47d560b23c2186a16ed6295025f3b3bbc41c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrB+3cACgkQeGxj8zDXy5IqEg/+PxHuDjYV0gGTAsswnyawt0I4/33OjK+/fESSpUe6UuqZ/lgl8bBfukF6PpuDnUh3G0ejm2QvDeyh6gX/NYfDP7UEisU5jgy9ABvh2SiQDnzD/w66iSn4u+3cRcML51dOGmqxKUbBV14UeIwQKK4IOrG8f6g7L/z/0Il+hmEvkj5GC6P7+z+GvUriezQfHYYVqvCPRLwyZbFUGh1ZHnY/zUu0VRxo6V4FQAyn6UlngxhkzAkBk3e69rSOufI/jFSxqd5s7bcgsTCFqEyi4Z48/Rf5F/sc+HUajBrPkobIs9yq9sMyud1N54LFa4CtdoFcv8B5ks8dphIUF90K7q60hrtleD2ToFBl7nce6YJLga7y60xK+5joAKrzyGYCELpngl83BB5wRWzeg1Qe+agqTgSRTEXCaba/FCfzKlMagyEv6r5o77q8xsHNhXJOa1tZV1yK+NZc0v4oSAQddBS/K3EZFGiolQWBcg2m0MT81yKg8FqJpvGoFLtPvPiJ/P7hNwV0wM4wNpjdEE6MCV7rncQ7tTUfjSqtsprFPeX03Egm2PUC7HfyCrYFPoXtcVLB+jKcfj8xAjLQ6djd48mDBTpqe0RghIeXTnJ28yb3QMxZSfblRaJnTqojkOfDkFzlHiT5uIFG/L/liWpMmKG3XBakoqjx0gll6yFd/xnr6cE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791097696

%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

