%FILENAME%
haskell-tamarin-prover-accountability-1.10.0-137-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-137

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40911

%ISIZE%
164135

%MD5SUM%
0c3d47e3a56ca5f417880f4baa6c0f19

%SHA256SUM%
dd6609e94ec1bb1d7848527a39e5a5c5456571a73e7780edbfacaeec1eae1b9a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVWcACgkQeGxj8zDXy5IQIQ//R3PcW0JpwC1XWF97XMZvV9+ScopzLAZPt5hYupnE/aynHvWDpyYQjfSK8jyFde54h3oojF8M3jV8yZevB+gTQhOMWrK+gI7CMRLr1MQ8DhnErgn0cb2kTE5rmF+qAy6JBeaOdPDW4OqIx9vuWBJuOm6O3jE4ngXpFC3jt6DL4JaS5KsNirGwbVeh5pukfd/ybWXNpwLRXBettzdBQttveW9noCQRrN+E7YzLMT4TAF7x6/iOIdpYr89NTaNQoIMrHuus8pU6WX6eo9Z9MKey5jyL8gopvXcdiIQ2hTUQp8Tz/SdxdzTDkuSvWYWzLP5csdl70NxIBtC28qkKzjOgRmWK2kXRUcYyUQ5AN8ZorLAf57gNqFI9wk7PlnpXhI/hvu5dpQ7qFNZYJh+ne+KZNc6cUjbULNO2lsMvToQ8rhP43vEF8IkWyNtGjBBt0ytQfhgvMdq3Zyov62Ob2hNUeJE/sE0dhurNG1YNT8bG3FTO7ZkxKqPMAa78L41pImnezTTTEVFQ/b6ZHL0e9O+HRT1I5xh8OrhGojOq4OLKryE9uXjOFlqdA0wUgDlNJ50QuyMjrkaQxT9o7xjyhM8y4cjhj2W8eQkaskmJqmbsJ4WOj3MdzlKXYMKbc0Fg4u7rl8jFGULGIelaCJVRlpy+i4U1eibl1NCk6vaQUPsn4qk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056650

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
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

