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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-63

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41264

%ISIZE%
163704

%SHA256SUM%
bcd2cb78b48c18327137911b6073cca40775f717e25dde1337e4cd0ad43d161d

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM+enA/+L7hzZem23N4dn1j/4k6FLLjW5ORoNJZpYEFdL8Si4yOUv5+MCIuACZA/xkfZrfpP6sWyjmneHkdksRwreo/EM1L1MGzeGXPssgdVUcKnJ68rT89n4Gfuvu0V/FauEjBiPRNsBq+JgrN9nEggPR9qPoHryfM9kY/pOjfSVke/tpGWAqowq1mqFpueU8fg+CL9WVaZDN7m+pcqUWrzuRx0TBxDkQHCaBXFOGSxyT+XZb8CVycX9uCYkx//jVLci18esH3Zl1tFSeYMksHdZoqXGIIjHwjT2E+ExkGZ6Jh+c/+729gW6x1RgYc1OPQM5XD9WRIQhxoEYiwlpGk9xYG40vZgUpuccQiMKX3yOLXbHwzcxauQrM/NM+vIAYIWY91uC/YJanGgXT1tVljELt8UPE3L1h2LV6jPRoSUDXFfl06348Nk/JS5rE2+HxFhs3daGSnq9ewY5xmoUv3RQxmXIXU42oXfQ1E+I7RVhBEU7EoBEi1R3E5auMCCQaXnS3vKNFBwej3fidHZuosOnr/CHKSlJm/7Z5XdzzVanGQr1WccBThUS1ECJpaO1yjfHGdpvtD9OVyyxuT6fyb5jxjM0h8iu8V1xX7VoersK5ZAaywg+P0lQXJwJIpy9+0g8eIBKt1/vDTi6T+6JZUjgWB/pZXZ8WzQ83YuvtgjdMIELbI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045925

%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

