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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-98

%DESC%
Utility library for the tamarin prover

%CSIZE%
243957

%ISIZE%
1268074

%SHA256SUM%
0af9aa41f7a626c1b144dedc66063549a0f4cc49c2bd8299e5c6ad6922954c4a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1tWcACgkQeGxj8zDXy5Lwhg/+PcDtjIdpery0shMfIeNINlMlikCEN1xEnoO+v5rFDWDeho/Q79cSyS9vWZVa0/97S3vgGKnGiHnspbP+TxpSPGR+c8z7c2prgNY8RGhPHqHBoX6Am97a/sZpBYYBE92eLhnuGI9HYGCX7vvdN6AC+9AjnnwYrKw02bGFiHZQVIiZ1wOtVuAUdXVyI1iZZH+vBPUKNza0r9XTQaCTCsnVxim8/Kgeje+9S1eVDspLsgDrWcNFbGcvTBGZ7ilGDjYIreAL7KPC2UdXrO6tcipShiXdQonKdAB30P81efbg39gQEpAH37lvUXhlVzKwpS9qvV8fwYKzH43Tsddp2bJ637Cp2+j+cuRHsjHvoiJuYDRThLUD1ZzEh2RMJsyntEx4ZhAl8hnEXeoUcIbCvwiaRB69UDYUt/8dIoCavrh44q+UJN3I1xGOsYqrQspK//aGdj8S/nlvsFWJWwj6aqpsXZAwAeaAYG0MYWT/HPHJooY0Mtox01Eb98lQBui+FMdNoH7kV+KuRP6AH3NOO+EVhAnzlW5DuJ/nvIr+VdToLXTB+pQ2HTL1r9pXsTzPe8mgkeXMw/gdGKHAS5FNPLG5eFkl+UacF/eSw/tmZpcb9ak3k990Og1kX0P2ROiiWO2MgOEdsa3or7oSkv0nPN+LWbfg4vuQFQJZ5ME8v1fAsRU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794487637

%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

