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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-92

%DESC%
Utility library for the tamarin prover

%CSIZE%
243791

%ISIZE%
1268088

%SHA256SUM%
eef124bc2dd100b5455f8a346f08995981c6c9497970ee545b3ee24a4a7e9217

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYlAEACgkQeGxj8zDXy5K0Lw/+K50NBWCruDul3qOIl1u5g0m1VHCE1pkhPqlu5PIxSt3gER7KVcFWaLRkyJ15FqMVVc2xlsc5lWGdQlR0KpmNdDbYwrdLry5LsgUttseuUmUE82eIPxPOLcHPJeKuvbAEvXKTHhLvFo2hGO9RIt+muDfBOCSxucUFKow4Txngx5BZj3hsVrCpHYjtSsdS3UPmJ+cD3PWANzwIJtsOUBfEueQA7AoFLbqs7ji2+g+sfv0agjOaOnVbIGLCXImuFvH8OJoa65xvK1I4cVKsxJ8XIfF/hBpS4Emcwvt24w2rxP+nblvOG0VaIPe0yrc89m5CZuiD9gngeSG8IU7Vk3dBRWaNcn6LYRp4pqw9P740wBG+P9HiOCn5vcqpWgDm7G8SVaeUNP3/qTvUeg4l2gnk8GrvQGdPfrE3GD+GzfDuC33KYr1ekyFk1B1j2Fl1Yfpz7COeMN0LSeGWHlbUQVVPH3PpUG+IvFjtSgaiW69WfrWTOHI4/X98eFwrcIpsv5rlhBRtnyJF5935lobgkeBHzUGjEv2OQXzqUl4Vs/v3Q68csCbu1nxrAd12e6w5+dY/EVSljp+vEJYMVUX/svDzhmVMuQ2lNhDteHYSysif5r9JiUhLPg+W6yFAiPlZbQjvEwNudxicu1KRddtsBTf5535FH8E04cbuUaB7t2bpdKg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792578541

%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

