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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-67

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41249

%ISIZE%
163710

%SHA256SUM%
1587940e582c715633e4a86838857f032de364143b1dccc385dfc7b6c89bbb30

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNMcACgkQeGxj8zDXy5LzDhAArbt+sHMaggrzAef9H2VV17jEAuwuj9PXpufDoUD+nmIDaOuUlQFxkxms/icV3eBZ3g9/Rwaqk0YeXNApnM/xJv2SuLlYBMKB3PXJb1i+CQh19D8i4+5rykIiGhMso+zLWXPm9/CORGeR9OXanM556KtlI8RzZu8xrBQB5ityZa6qK+s2CVX0X1PFo5IlRedfdD8WBvZwKBxuJFkPXukGTmokX01C50Xz1aJIzyB9qeU5vkOJmgMcCwytfvLZuyIPOIPyiH0jR92ITF97VpfMQbQ0mwHHBR7otPy9YwAxM+gi5tQeO8rrVinYQdY2xb5pSWdBBrMl+wUMQmD0Ypkvu7IzCx9AWrn5XZsJbc4v4D/wC31hJSUbnknBsXCw9I/mGNbs2UxnU+DJSr8IY2xZajgo+eQsklncZ2qyk+p4T663SpepWZySzZanU760w1xP7Bg9o84/op2rYQekx/lLjG3iKu7w/SQNT/4EnNBk0QqIDrKwab1AXJucytkyc4DZXOCzytsNea8Na2gEGD9mqa0qxdWOknP16hQFNh0Hs9ppoTzHTWjwjI9pmoVoVO6OyCxH699R0/f206RmD105gB/Dk04+7iY2CJfMiby5vW1YsuM7/WaGqYJzDwg7VLNdV/xK0jmCfb4VC1b8jip+wkQ3RZw1i2GA3ZMI8TYpCfE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032165

%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

