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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-87

%DESC%
Utility library for the tamarin prover

%CSIZE%
243844

%ISIZE%
1268549

%SHA256SUM%
ae31a2b28477f0528511c1a30f5d3a724b2ca26bf2c33cbd7b313df01ffe5083

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLUkYACgkQeGxj8zDXy5LyARAAr5SVfprU2NGm+l6aqkg2NnUIQHPjHs1F5zoSX4cT0b09///balrkW0VJDt8lq6VddhwO0hI9HTBEpMiZRvkheTaNBL9z0eGyOW1SDrtRyWHz6eSVA8sWIiDNb+o0fn6RrwS9Ly6Rt97UJiRjf7WKoTaxh83RkTQ5mJTLO3khuV4IfyNp1zgnykBXpqn95/KSpKka/9zGGaj61xjOieFfJHULhscAXYeJAVP8tP4tlOQu6iN3t1c3zAYzbIAyYZJeme5h1fgHOLzzz2D1ZsXK6SItjxYGMaGTKtEPLZTDyGgxp2oXCUyYTw6adihMnn/amEr3wIbbHJZKrMHgz+/nN6sTOABc6TaxVHCg2wI1/iqy/LaUz1xUjl1raAwP9hH7DCxh9ONYb3jzEKnu3s/n07Rz2wAj6RwRsoZFZiqcsCU3susK8LfVsFKbmvuOMONySPNk6MRBJbrQjjQvw2fnkOyi93vQkThgQFUmzWOCseHVZhHr/T5/Ln3xn3zN8a4EBTGPeNWz4Kyz/62W+MjnsjXOsgPOhs5QlGE+zBc/hzUz4UQzfEe+ZEgdZjCbW29HjH2FQIDI6SkX+cnTurw1bP86RsIhUCaCH5I83/ILBpgfwZU2+eTc6oPSeGYAfb/b29jIyD9kGGJuntRGt6V2fozUL34HZS3CbbqxQImyKHo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791709728

%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

