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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-38

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41267

%ISIZE%
163722

%SHA256SUM%
171f7825529e0742e152de634fc35815a3336f676887d5b8cfb5ad5d8477025c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodmQAACgkQeGxj8zDXy5JdxxAAvDfKC2G8RZ2oc9sEU66WMK9PLECdR88w+hcNaa11oosOITEpM5NffNzrHhcvz078TcS+YduOQQPkQwxkZo8k/lcshjUAJWRMYCXZNLApWrra80LFm6GootO6GisIjatFpR4z692/sZdMxX9YU7P237l2lSuM/5T8d1mAEmHcJJtkgrCn0oo7E7Dx+iBRLf789BmiZ/FjtMsqj463jrmxjzdNYJ+mVvUxn5bub9M6nVEgjJeEYj1xt4BBXlO8OAgVbwH807GIzbxEzUDDgwf9H3vF4mZIrww9gxrI6Vgp6KVw4TOUWwWvVbfXS3J2dCrGahmAFwAKjIf5RidXlBf3HNRHQVggTrETwY42X4pPPIbVT+3FRqfqlAQyN/DihlQnYXXwZX4xwrOq/y57leV0uSrCej+IR1KFGPTpO/4Eqa4q5FiM2lAE4NF8Cwf9TgbinvbuhNryoCvy8cFFX8qNiVLyyETktq/HqwBTUg80zP5Rh8Tr+1MBlN2opYbR9IcRinm4anRwp2slIH7D/715TWBYf3zYkHyG0A+/8urscAMO+mspqlYCpyzk7qgYzpg7zuOZD7y2CWp0dlTRjfpPkBw6mceDe1mq0DWf06f2reGcZoDo+d2Vtdhr0081PJOOUAIhsURKBBJh7qTY4QnmKXhyz9BMnO/NKM/DDVKMsfE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324595

%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

