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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-42

%DESC%
Utility library for the tamarin prover

%CSIZE%
244159

%ISIZE%
1272483

%SHA256SUM%
2a8e96bb80251e4b2891409fe9802a190ca117e8675f76422c8e20076d7af045

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0ye8ACgkQeGxj8zDXy5Kx0RAAlrKFq4qJ3Hx7WvlUT8GWSr61fSfDIcJPXHIWNHVis0j7yvYwVngZOBQb0lqkYlvW/fySBMZxWk3VQGl0RVWTjKP88TI8EiVmLbz2pOgcM7v/5pz/RptY2BfGEqhAiXoTqGcnsDzjzERUN5hu/IxeddGif7DRy6xzXzdQvB3jtJZk3XXjoPwrIggg8UDrZR0lQgZqdVtnt6aiHUxPlYlnVXdjhsNKYEin7J/RWi4yS5uchKcwPAd8hwkvgVsjvX7/wRpm6O7oeXEJ6apD7oB6fPKBW4qXMcNx2CkMSbFG7oACfhzCUz/meOE32Ocl5SHF4SNrHsBDR+xnyLlCKYKwOQBoG5yDoSde9ZlC2BDapaHeaP8AAzgbL/CZrN4ysK900cEbNeE8JThCBV76XAUIMyuJxzVRKLtRMDrCwF32Z+J94XIX7SU2sc5eb+ej1GLee43ELorEgNNu6lWETugNKY10oIiRbg4uIYiBnAyBnWZtYAw7oXLkuWKp1Bi3nRKVHjSYoqKkSiIT18Giiu4jlRFA3HDMWyGFK2aMzgf5tGCRXA8onY4a1RiecUdQ/scp4VpfV/XKXCqyO+GTv1AecCu8BFJyesrNMMhYOY7eK2Cod2AuwD8K+lziF4qpsMxpPaqvIElPqT/b6k+pq9pmqEm1oQRgqvs7k9X1GQ30tm4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781844448

%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

