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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-88

%DESC%
Utility library for the tamarin prover

%CSIZE%
244071

%ISIZE%
1272582

%SHA256SUM%
52c3d7d9a85791fc8153589309f3be1cefa72f38f430427d45766a593e63d70c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMoqYACgkQeGxj8zDXy5K7Nw/+JbFrjpH145LowE/SXE20QbAYjD1mA0uI0NVNcQ2EWNVjxHNyVrrKx7oTTm0pG127I8MuxoLDRO5umCUxnDlqiw+rGnbK6CUzH7tVTiDFQW+P9JODNy4PeuwR8B2CeVHuTw2YMS26gHrg+Ub0o+lCqhkUsqeaRcinAKg0NAJucgxy1TPFw1pYGZKzksP8/caeXXwhu2UrlZo7h0SHVg2sI9oOIwhT86BbJCK4hWIAT+NZrXYCU6Tqr18VgWFhk2knEVmQeSK04AZU7tf2IVnREhYfrgE9Zf/Mo4wxQfYQXPthgk7XYXLec7Gfw2j50bmsIbW35zmCHDISZMSF0TdFpf7doTcqOy6StSGWLHjpcgoT5711zyT3si/tWaN7O/FIpImhB3HtvuzH0BlPblPrIuB/9bktnVPMQ/85a7dnEzuE/57zbFAsj83dNsO3yYiK3UoDiRcnerPvc6UlOomb2BnS54G6mkjGsp6YIFJAOK/NRL2dRpAgjvsmSaCKh1izjnAe3oVpsrnDqKHJ0rIpjU+1vDzp0wsd1eIDYwFOXeQQ5zCxuUJ4vWSfejfIVKCWv9MuV/KY8IvAp+6sjkdJzOpkDto/l+MFTV5OD5Pz0128DNViOMCvixSvW3XIHbJ6ZHfrfvNTpKhL2gFhFgYMyehEo95dtNzJCZuCci6rKJo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791795825

%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

