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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-96

%DESC%
Utility library for the tamarin prover

%CSIZE%
243876

%ISIZE%
1268058

%SHA256SUM%
c96d2b0bc46c90155ae1d667cfb3eccaf5efd489490007d254bc6420eedbdc52

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0o5MACgkQeGxj8zDXy5LI+A//WNOt2+DlZLej5kAp5RP6ZvZZIbJDnoXixXg1G2SR2e8m6xngzrzCFRGjiwFe9wO1JbweU4g2a6KhEnLRGcu5RQ0VuYxcPg/qe5DoGThDYy+17dk1peD1/9QT7Xf2XhZRf6BlvGUrcEG22qWGrefbZd2VjUwHDqUFT+sx8tbXBvk6bLzXUVkeUyzU3OvR8ncz+EbM9QUJMeZb6H4qIdEmH1tv0QTALOOCf+l6w649FaT5FZvEZ4FaIMCAGpQf3p0yJN/c0zOP0tzrV6mjfU9APFLrzJt4QrQJa1sJ+4ZMzFHPUSSfEmxLHZnZuW15XbX+udzaGCSTJPitqWJ+1AaitFMtnZxtGv1CvaX4RTG7o+IvtJZ79CqqaNW21FeQoENwKSNInCVK9KpFsMSy9KyFM5y3OcODcGqWHK0WRghx08yMle5Zgueik5U2uAiyCpuZaxRtuG5IqT05w/L1MNg+0/IOtufmJmig7mYcGyriz2hCNhQfZT1oajsi+e0CUDCrA0Kv+YuA2UYAOne7o4104AKWuvPO4mn4lFdQ7TODwjTZqEvtJxwjjgnF0MX9xEdyq1yXiyGAJukSqrhLcDCHbqKZ45jqdyNaCTshx8PiWCkO5ot6ESY2BcMB/1yIVsafYrtjKb4zgupLek53FneZDeU010vnDYPVIdA/yiy/lso=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794417533

%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

