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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-67

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40901

%ISIZE%
164149

%MD5SUM%
1f46125407e2f2d5586fc32aece7445f

%SHA256SUM%
f54db9e1e928e503bfd35e769310e8eb2865bbc2012623967d379bf070ce4cd0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSQJgACgkQeGxj8zDXy5L93g//fLg5x7Lx2qfuh0ve11kNYINGBuhRItVoENeZSO2ko83NWcQJYNMlFfIfKzQ7l/T6SLqwB+45mbmOUNiF0Nn+jNv/M4tyiz5K1SiOvnldaJz/vAoqvNQDIYtNhz0nFoyHWCYdHZMS14mcFmdfw5tfA2wXuObhgsCSuXsDs5QhreIFK1Aro6qSgQzUCGAh/oJXAk40DF2I8QUXHDuOr1Ra4AoiAbmSsZE/RYLAYz8KircjBz8SSmBiH0xjZ3AM714R9NIz+YQjE6mLfhybTAcAevuC/z/vqgVuUEmj5xQTIc/3u/IWiGPkUzN4tM3L6J+VeypOw61s62rMA41u2wguKJGk+nR4y83ssQl2u4gSfYhp464X+ffHyGtcjGANaK3e+xcH28E++rsmv1bJ4UWjUbmt31c0h8IG7sZzCyL4ohooTgHlIBNS8QWuR+Qu04znh6HyccEO9tLV3KsUyByrn+8CLMul+KINLetgCU4WnQuFLyRHfaD56RYTdkbrUYU0QlSRQA26bIm1EmTsmk4JclhMpZbxMQlkqc4/1DVOGlG00MJ37YDYIXn2epBMHI05gLsfOIF9mwQMFvfJnCAOpjzjR1H8h1hjfUA/hq12PtEn/8EK85kbxDaBmlCXxmaW951R00Lpiq+3e0Nq9eVcmfv7uZE3Ok9SVMNPYIiEan8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1754415226

%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

