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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-100

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41283

%ISIZE%
163712

%SHA256SUM%
783804b336b966bad1a9f929ca93484163b0a6e2abd09c6607c4f9c825d23985

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2fdAACgkQeGxj8zDXy5L4oRAAgMIdKjAdlecw2ULlfiTEV0xeHEX89ALcOphoiuePUkybOLyGVEe1+N9zc49MWWalNK1H91WXJTNhjG04EmjmaHaQ0/usGjZW9exwKeD60wcHsOsZ3PPUMIddK/qxjaJynWCFP49iX73LHx4UMjDd2zNqMA9V5GjgUWPG4s3tT5tvCaQEtZg8Q2NxN6Ab1yQ3mHUqHxkpbt6nENOgOpw4/8/f3jXNYzEi7P6MrciH6HmiMFWVBgQyibFSuCo6fw3s1D/l3cwrAQrn9MoW7/TTcwQharglL84EnaFuDxKj3KlN9vaqCaWP8bsvvqu+zULWDUWLv4SWf/Vp6kMvywftxZC408dLkjbzTcmkypt46hgF8+0XnBaZvAe9snyJgDEea9Pc7N6pRC4wtolUnWXkmoMz/uFjHXoHt8Uy3mx+Uyf/xbdWWXS+ceB5ha6aW6NVV7hpMj6fbuS84XyhtIU8UV8FKAwRJxmFcDxn9d+jKaCEbQm5bDbsKqoIsWbZ26fW69yhTMwEmueuzYsOoF/31rwRcqhHazOQ+HwF4GxkSeWFf5usB70XfpyNN9dcjVM8dpyjsfR4L6hBGSfDJ5dh9m0dSsnmD7XC2u8ufdOYZpTPr76zAxb912lVEHjX4NZs+uAd6nGGSgpl7NELQLZwb24jvLujEc6BuxTzfVyStS8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794538934

%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

