%FILENAME%
haskell-tamarin-prover-utils-1.12.0-69-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-69

%DESC%
Utility library for the tamarin prover

%CSIZE%
243916

%ISIZE%
1268398

%SHA256SUM%
7fc0b9c3fb1fab6b3351ca1d1de3ed461af1ace1fe0ff924b67cb7470f191ece

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdcXwACgkQeGxj8zDXy5Ktzw//YGBCeNAU2o/LbbSd2qqMJYa31gF+EfqsVy9iUnyVWMbKsVftHYy4dSCpIiut8tWTSlt4edd6T3dmlWxr/Bw+slazVAhDdkIBj8KHIbogsRVuhudYd2qd2K12e3ESoTnuVEYBxVWfpNYi5Wra9Cp0ImVWyquNCyPnKBGtietcwvnBOnfayPCPgEEzS60/GlU1oJZVfsCPnkKetOyMsCPxSOOrz7juWWQeo/Cs7fDMnAIy/Ljgje7n5sROpFrbClBnxo3uoFEErylNkiTnPlqBMMjggCUuL/gD8UTxHDA70ytPHJSKQRZZT9yRR7ZLHAdghQsdZfKfiGM1Kl20ysZVds61lHB+5py4mLxcsFfwA3JHDpm5dFKYGmZ57q9wMHXhxqMRvNvTQRJtkHw1/iqpyZVRNL06R1KYy061GvAD+63WZvX9rIfBMUUVisnLfKEh6IRe8ZowRNso/eAw76lpPJaP5u9M0/959qT4FOxtfezuxovlHuNCfp5K6VhO57rTbhT9MIls0HPGp0bRQKTnUrDIblWdQdm447IPiJDymgO8MXiY+WP+qaQPtuQJfJ1uX/ZPabThDOkgYjTAhF2tTSEAslKLsJF0BgtUn+YpwM0mdO13WZ4AaR0iywssdzEFjngtAMpvPmEFf7g9tw/Jl2dACNqzLZX4Bit/KwFdF2M=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703080

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

