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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-99

%DESC%
Utility library for the tamarin prover

%CSIZE%
243960

%ISIZE%
1268097

%SHA256SUM%
d35954d60ad5e74564c748b05fa492325a908ed4252d85f44aecbcc3e9c57dd2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2e9sACgkQeGxj8zDXy5JwRg//YZPSJbkMzBoN+k5zXw64wC+rKzrwgggShBVI3Ndym8010cqShKXNz2GNDuKHdhiUVTbtql3wyBUl80UMBOdkujWCpMzd/d5So0QSU82DOxK7GZXR2Y8yDzOQ3bYzLgGET5af4h5f4jYSEH8BsQgZvS0M/6sPN4NTHDm8HpFxlVrrWI7FKOnGDPXEoL8hagu8I2wx5pPesI3Sc4SVIBYjLrypbfsVh9+U5byPq6TNbn1x7kVHcE8U9RmcqZfX6LrPDzVVWP4G80hQyZWps7UmQn/IdFpt4HYhSbGhh4+GdnxWXiU7T8VWxHXk3QupwaKuQ9pwUklTpbUQXs3rqrnLFSN3iIiQ/SFleSoUbhrUvFl1j4MXTdq7kwpxIefTLMudOI8fyCws4qPqI2LF3pM9tPJl1nw6DS5b6nzyG5FjqVcld8Fvj8z6NaOVR4UEMmGeDDUcStFgpfDbO4RB1YzS618qUxRe516hVNoHStTtU3/CjRITT3c72584zbO0yhWnsUZruJYNYaxx781+Xu6O+LQ34JzI5eJkbP8EhR9rZJ8JJlsISMQxngutcpZN3MrmbpRZT2ojzd5cwGUIHk/Ld3glHuaw0WEA581K7o4yAzbtQr78T/LXVVRQYy+laT860s4jHPAcxLd+lO+zODIuEKgzMOcim/wUa60GKAGDh94=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794538439

%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

