%FILENAME%
haskell-tamarin-prover-utils-1.6.1-66-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-66

%DESC%
Utility library for the tamarin prover

%CSIZE%
257550

%ISIZE%
1432352

%MD5SUM%
a5e4f9edd37f814b998f524c4200d439

%SHA256SUM%
aecce445820c2d3ba783c2527ec45c2162acbb60d3e5472d726fecd150524a5a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNN6GIACgkQeGxj8zDXy5LG7Q//eon6xqbZZOsQ+Suwg4idx1cSKPN2F1X59pDSoEFPSrlJhJ+KYMG12sXpG/RvIKRz8ZGIbqJtoaFUU2PTkaVHhy+ztEiqNtgcYs2OAfxmUisYHBMo7prRIc/D3SGBfbWrYS3M1FEZKmoszzzS7AH05gcX6Sxjokr5rFPt34jgPPqzLX7aEPW6G7ExdacTWYQqgKaPx+2c6z84i1p+aDeg/bZHzKWamlPdNivnrbJENloVQee3a/FV1Ufy8R+ppDwru0/gmw8/T1VmiTZd7VfBOvBbU4YikQHOnia1IDfN2AOlkL8znpcxKVnSBoO653fzwv6ojiiMiiU1YIo4n7N7U3kqlhb1qz0lXIx6n+TPEpPeLi2HiYmhZHGyGpnJvOMEcc3AxE/qqjTU1ody8Vc/1Pk03koSAkmmo0ZhX2Nn9cMBa8dH2IOMQ/RueOXIbLDDA9qLrG+7NOaGWfMy9HVkoEqHJS4F8BqYPBIxi45J81XBE1NFvbLJGu7b0cgi3RxhUq8WeoYG1nIzF7g13MGF3IzKVOl8Couog5LMgGkTsNbdobp9G6MdwAX4NhbVdFrSMEBo5CvPQseIL/dJGk18YaFw/8fr4FH+zveBtg7Gta/bNX0D7gxu27sWMMoAUPVqWM9LZH7ISDA54tBm2CdnfSC9fRNIbUJlePfCMshm92E=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666050106

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

