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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-65

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41297

%ISIZE%
163712

%SHA256SUM%
dd9b4ade39b68b653420b8720a5b3ceab47a161b3d449f69426adcc2a46158b5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkEUACgkQeGxj8zDXy5KR5A/+NbGe/XAxLM2nYnNLZxIfjgslvBzaDSf7c0CGrcM8IddxSfItFrj0zIS5IVQidbdBwBWMLiqAYVG9nSEivD9hyVCKDnzl8hIA5qionh4C3PWgq7MHQtp40OR004m/Q6V8hQPZhSMID9H1fzsF162YFPdCeKECNx0K0tF4aqdJ5PyOSel/pJYcrObUaJDcY2iw8wFud6rtChg18zX4LZV9qWIM+tnEnQHCj1rXxw5Z481Nmdvb9/8ENPXV6XYV19xdd5efxHG8x30QFXz4C/IHzFZWz5bBV6qU18f+SFVV3iFm2tykPLA9hIacttDwYS19EgrZ3WpALqL+xu2MIb4YLDN10WWEZBLhA6lZe+sqnTZUVHki2ez904W0zol1gJo5ka1Jd9gRrB8HJB0oq/RjlwRHx/Vr6GTAtiLKq21Nf9hkve1pb/3Nf9pA5dEhl/LSMAxX+jw3msZFKy95dBtTDMAWrPKBBjTH4efeVud0ASC/aBrvk2caUy/8JugjViCrR1wi7qpbwlMgTIyObj/aTTaJ3L8/nsPyHKl8Lsgs+A0qgfba09CQERUFaFQVlpbDzVdi5gK88hDMyJZOtuTEunJO9rAMlNlhtqhZ4u6HHKFvZmnk4SpyOPN1n3cN0rRN4/+GSO02YL4NtBEeHOe59WLbh+lGEivbgBoAjW7UMpQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787990062

%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

