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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-86

%DESC%
Utility library for the tamarin prover

%CSIZE%
243778

%ISIZE%
1268504

%SHA256SUM%
d8e9b7966681817786b10f00291c3830cc16bc1951aee9a2a1b3c9e93f7cdd34

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKp8IACgkQeGxj8zDXy5L4ORAAmjcXp9GIQNhP4csTG6e68eU69rgVAgMWgtKUwkCE1C0+kCP0tACGbwVPjHIGAX+rBKptKQ53l81rE0NR811PBFFNDKHJsp8T9kzai2lyUBE/NlFi543nIpA5UhY6YiM1FXIhwSFdtdeXaILmetey8/vOccB/59aHpPwTomzeUsLgV61UdFIxqTcEcGvlERlLaB5kA+xogivA+N15Y4Et6P5pouAlgIxqd4tJVrJcLPWmn5OKbknnf1oAErAxrBA3KLA6zxVvYeLjfJZBxEHBC/H8zBIPHeJdUmKYtXVqLf3nqJPqyJuCCa4qpLF24yRWh2PdMwoBi+4osbtrNXCGbms4TM45NnCpeHCnOQaI+EW2PoEN2oZ1kFvczlb64883ZIIrbcTXbQ57xBZJq+mu9H6ggy8bUOaebpCmgcQkl+sbyeU4pTE41euF3evINbaQp3oAayezbG106epy4qXtfyZ7BaVKVV+KHW7So/K3RiD5ioMC/vryHprriR7fmngoHIvAJTOlExEpmMuV5daYrUfApPIMDZJRX4Al+Xz/5hpp0Z0+/pBaxF+93u3LJEWRJYuTnAx+k14b3ctQwoyuRUeh4pVuNCMiqqJzgnXjrefOeKZUrUZfSo4nvQMYssfCmZYAUsZkTUgHlR7Q4wuFOw5EA3FiALC+Z7NDAN+Y1oo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791666092

%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

