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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-51

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41283

%ISIZE%
163718

%SHA256SUM%
494ac5435a68121999b04ae1ba950d6bb918209009d17943a0c41270370c9218

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6uvAACgkQeGxj8zDXy5LdBhAAuFg2hX7Y3ho/pxeCAiqdOcb6ezTYnlhDYC77sb0SLiPfwwutA5ixJ6PiN7YIrqvA435iXBWWagR07srFZ2wV2IbzsaI4DQdSzLbK69vNNdgevKqU8aeyxQGofbcFU4xGyR57u5XgbVgwGN4gpqvGHkAKj4ue/jss5ah+oBpL4gsZfv/IBtutyEBF9nSrhAfx4Eebm/NePjve7jzDtZrd8miUmPwT6O//RnOEky2uWlR+8LgHeFOC7e0Rl+KptSKJxVD1SMNcVMx/kKPmesCKeylL1RU853fxmTTp6RTTajAXMpgf8d6A3Ivpjwaf0tdCOThDLS5CIibVtn3l8feV1fOA6kuvdirHzE4SEjfGnE4Xt1f2kKujPe6qS2PLxLZYa4LbxMZRRowhc+XCZPRivXEL2hO7xW9J1L0AfLwueamQD6rHzVGg3kPphtnR7JmMlBFC1grutEkgbX2KkxQaZWAkEE/6juwv0rOPc9aZRbIlpuPqDZy63OdMfs9JpmFPUqYacyIsRI3ypi9K66GdZOsP8QKyj7+1XnvvjiNzH7cnvlOqhA+BxXMUFbpSQcPzizIFM6uvV/5dUFDivF2Iwvd9aaciQogjN37RYwi6wE+mjVxIsVboto20Q60mEgKnn2xOTUQBpB4+UwRr0XwypUpn7PW7tTrT2pbWE2cURZQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782233813

%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

