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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-57

%DESC%
Utility library for the tamarin prover

%CSIZE%
243851

%ISIZE%
1268391

%SHA256SUM%
e45e88b9260ddc2eefaaca2238db3a9383896953f8429d3ba784c5d50f8c1e76

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/IQYACgkQeGxj8zDXy5I8iA//edgnjr5f6QZQ3PlSFKOs67i+FvXUzrTgNohIYaEDP69RG1BCNLlPu9U0K8uYCOSSLoFn3/uoIpF2XGCBMHAfoMgCs6wDkXxla8smc89MqXnp34tMJO2YEAAHpPpe6dF8o+YBST9XeTdwhTwYrMeZYBj+MxhuuN5s7uzKbfi+pBlbtzP5XtYrIZvZZlwYHuhRvnTIxHLyigh6gvJLf0rUpp7BjIjG+0mtV52Limn/BPi5+pwgSpU1nNC1JrYXE2BfthLipvwW7FKE+aA4vbnMAq3J9/fVkfEzn6u4QsGGp/2V5uHKq1/K+1jn0Jeb/jWvwjr+35N9fQ3YScRzCBkZTY7URuk4DY22ftN7n1770FWljFEXuMPl8UcTJNpRs/l5OIUbdnSg8ZrYqQE7mjd/ZKwhQt7Wef+ME1dQM6YVjYn/GEThjEBHGyoCEQeol/7rXwAzRBTNJJFBE4DhVgQ6ENlfDnI76Ky1G8n0qhQe9ylyxN/JZrWf854KV4iulZM+Q5y4pjm8fUsCAem2kxgejKpp6MgD4sxfvVJ31/Xy5LxYlWtvn6ZUlzZa4PuU/Tb3/wI8StYU7sarmYpXmvX0QHtJdTnBN/x6SZMYnLnyqkJefTo6yW8P2fcZwx42SNGYLBaI7BhpjIG2+/3fysI0GDKUcgWIy9dGQCkshMCLDyg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782522087

%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

