%FILENAME%
haskell-tamarin-prover-accountability-1.12.0-52-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-52

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41286

%ISIZE%
163713

%SHA256SUM%
1be6ec3019c35de985183bdfeeed83a007e34c0248623acddaa5496df0ea7ad1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo67vAACgkQeGxj8zDXy5JTPg/9EPQIjEfTnTL7Faz++NuSSD+2yPwv+/r7Cl5sI7s61277t1PMgFoUK5JMt0bd/Q33a695zsOm4T1ghcOP4NBt1ToMHxmDPqQ3pjQSKfvgUhyxujBx97hKcx5Feco0qTH4BwiXIqIkiOsEoADmuiPs6IZgNwB4r8qBDD1amfiUVkDg/L5AestragSaP45k2RPxOhpwp3WNA3z4ERzioGzaNEaqq+3IA4kRa6tsoWzFxdBRZ4NeHEGmW2ocseRGeV3KTghM5OXYPDzA9DV49oo7q4j5YMknYACnBaIfdnaQ1T0zGiEew9A4yOkqQRqPuaHhpM1oaupD0TjFZNJYZX1Utvl8CQVoDuQ5I6s4TrEd2bznZ1aVzjLAM1wwGb5HkiawJkIh1HYlEa1sfxPNPyuog59Q81yz9AV2Njis1gHNl6Sv/ZGX+CUJBvtQF9h0V2fE8tOS/XYKiLChsTvbykdbYPDbODJaIk9ThRT42VH4w5h90Rnt16FDVW054XKEiQaYmI1tun4w6V/wY5F2FeEgSuV/SdJxfOUqbgQnLfh3e0tAU8tzWYFjSbFwc2kC9HSzAPnnb+5MV4YZfiD1v0FsAmytxtqDx69FcYOruO2N3dztMJbJtAsD/uC3862S3ozLSCudek5xNA3wEph3ke7zVyRhCECz8wZLh8tbtDPhy8c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782247140

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

