%FILENAME%
haskell-tamarin-prover-utils-1.10.0-15-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-15

%DESC%
Utility library for the tamarin prover

%CSIZE%
239866

%ISIZE%
1274202

%SHA256SUM%
009f26427de42ca4f57d8a0983d2a79a16e5ff77144dffd399a4031ad8ca80ac

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUaWEACgkQeGxj8zDXy5K/PQ/9ESwtnRgOGul7spQBhWhb7ukhuIzB081yTfuaxHqhtbVcYSfZL9zICIENMnqGZaVYkxvSDn+nFlAQ/QDpARCSOb5hWME9X7W224L8GFitkvYfPF/SqvBT/Rw/F3lIT+1J4MKSHGsbtATpuGob747v9ofuSAUEE+q5BQ94RdI8BI8xGV3iTLbBiAULhMKWeKBGR60LKh77oZ2kAPD9/Aieohe+spkUBVm4Lo8F3R/2BBeZPZxfOFlktgs89tuO1HoYplSKBrw72xQfTsTdsCPJHp055UiKEuAVkDfGX5mY8XpfiUTY6VDk3u11Vo8mGmIwPQS3RdY63uNz4oSCKjMPG52+ocSEQGdTT8c/qA6LzBkjUQV6Sul3j+wxW6SruBXYozyKIoDpwYykHUjEKcoCTuBeF+KoFLdbbosPjtRfdnGh0zZ384F/PZF2HNR/do/ttp+0tAVjC5OfR5TVc3n4pJin+VT8od0vgzJ+VEPCCvNvDqkL/1yKPPk9D3XP8vufl0ktMnYpXDNu0BYIqyUuLPtwOPzZIpxxYmerOlXxyqYHhu89qjrhfT6ViL6o3ixm1BBGmZM2HBrlqMEXATNGFCnTW31J8Lc/uqzBPfYTu1bwRqoHXZnzeosjBKTd62Zsaa+KfXfJjt2qZt2PLhRJl0DitsuZgxnXPda2jlm0Irs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741973798

%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

