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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-75

%DESC%
Utility library for the tamarin prover

%CSIZE%
243939

%ISIZE%
1268416

%SHA256SUM%
12d1d115b2dbfc8b3b07c07e84770f6c5523bb451f793e2c1748ddb5efb8bcd3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9Gk0ACgkQeGxj8zDXy5Jfcw//fguAugxeBjOWJDNptTy8u+d3BySgrnVfitcFKnsYwkZAbsTXqJjby5s8b37yqUF/mtHLTQatO8PqGsvRqX9druR4mYVDtdAQiZd3KUChoz6kTBGKkUsj8pwrZ6puOSgLAHf5a33d6vuFf8GvT78gKma/kWZvbMg7XImAPRuBQKflIJbBQTW+UKPW/m+rJkpyyEMiPh4W7ErjT4YA16sCPwb3OdphVdM15w2oKVXQ/GYjXyN7ozM01zm/on2hNW00c9yDD7qFkOIy3Nxmvo4UkqdSrbA9LoHHjGpww2oz8m7mzswSnhN1CakX3IBoXnWfibMsaT29CYAeg/KXWOxMmScsdgIwJK4NwylOLmhKzu9JYNpyS6jYP6uSI1DkBOP0z5Qss2jE8w3acktZVKI+zOwIRIRU7wYhNVAteryMCDO/m6gpxzjCdDVad+laQoqiCHNABhM/3uOxwXJJrhrsvcBh6QXBx2kKpKSQs/Jg8O/DC+Mipm6dTLP+OEcvCj4+6TdI6Po37zyV2fnLmJcmy1E2vJ36NuBijOkRdAClvMCdb50tb9Q5tuPGXmzknZ+sNteV93k+2tN4jyhv/VwsErxAgfvmvdI2h0D7UAxUwE5ZKmP+wN8aVSFIm0OJ6D9f+t95v+HKxhIcgWZH90FJT/J8ir/ii9e0SvdUYksiWtk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790777913

%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

