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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-97

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41017

%ISIZE%
163709

%SHA256SUM%
fdcf6faf3b6afb2056dfef385ac07f01dc52e36a173278046da48e36cf510e8d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0pa0ACgkQeGxj8zDXy5I9iw//VBeDXu+9Xa8CJyGrXvK0lkhzV/RxAiOtVmgh/t2qPgi3WuY1W35NPjZtU4rVkK7MEa2IbVBWyx6R+Qx3bcjRumu1ydxXnsJcKVHkjysSzeJRnGsyDGOamno9nRzwnC5m0D5AuLdXfWQ30xR3hWl/SLZX4liDpC8Nuw3h055omJ1wgklW68DbQ99KF4glEs2yvBeQqzaEpwVc3zCeadm9eBPtO+9nwmvYkiI0fPXcDi1Ad/dwOyKQPY+GjlvDCOeYTSzb9sK6QJQfVtIU3G82UE6pLleBrxXl4gmipC+I1HJOohI/m3gkvRXk4Fj91jxKX9X1QUNjcQw3BTd3jm/azbFY3Knw2PlJ96b51GfB28VaB3FErKZnN0YKZEHa5bdnlQnWx1OX9kiH2Uv7l8X80wPK6zXlGJOdkagG8OhFJ4G7tuOwy0FVzSkf2z8ch1FY6VR23t93FLV4gXLaDGyttwpz7ugL45IvfWaBQugeSBIozsxZ0gR7a7iElXz30TMunLDHTEYxGqZpkIQQd4dGh7GWfBYfQOIUOluZ3f0IAl1wuoztgnhumFPnW4Be/4kf0p9q4GI4+39Td84YES33A17BfZzmkQCuT/V/T27zNWkEL7Oh1Bdr1Cp03JzmvL96mBVm+BhmPebdgUOdTbkNEzl2aXwhdzi+vO4eJ+mmjVY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794418012

%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

