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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-84

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41280

%ISIZE%
163716

%SHA256SUM%
22684fac58ec95a97212f467fced5e1bb02dca75dd64bbc048640d4cdbeed444

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEE9gACgkQeGxj8zDXy5Jwdw//eogwKiCZLvVcwpR8DZGHIwdks9UaizFTaWXunXajGFnTgwmZe5wa1MKSKJRZKIXNqpbonAOFKh5MEdfOwo9ZaxLGCYtMrPByo4CTvHN/O6jXGLPTEncXgAcus/Ot8SMRmNuYL8V90ldk14H1WtJo8qBnlLFCSO1TjhLQNb3sMGabVqNgMWstyxZu//zC1zSTUO1OEBqPBXxVbkA2K5rYNafkpwkdHZehh/Xr8Z/np7WVQNvVTnfnovZ16UjIiEZhvJJpdJsY8WnIeN8+UMgTSqLYIC7mUNh/KQvnPevxhDF83hcVTrqqjRLVn9+1hPtuMQp5+UgKEP4EL3yMn2fKWxZ0/TmQsZrzjPxLua/kcFH4yzneG7QfxcQwiRwBVQQAcoFBY4yNqtgE5MKVZz7htYJcwrhk95tShbabPa4OfMIjpDCFOOSGyQlWTYYxVROqFvjAXV8inVXhOdM1Stu6ZmzORueBh6c0POCQZyeV+cmEg1ztgMbOQBTrZyUCW/qgopYXzNkoJ7xYaAgZN5soZ64Uz8ZVayw4MeXp9SKIIUpE+BsBILE3ndtkUS2octcvvndawlsrsqpplKmvX9Dr4NgbzK0iWK4S+2C+sbsx+CYvMsXDj8Ez71KZZ8p3CfE57l50YxypVeJ7+63piXi7UKYSzEex+P3fHsoS73PGdos=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791235015

%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

