%FILENAME%
haskell-tamarin-prover-term-1.12.0-54-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-54

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744134

%ISIZE%
4424464

%SHA256SUM%
72f4dea4153daa69032910d3f78e9c17117bbb741da4a920df5a4504df2b9ef2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8TCgACgkQeGxj8zDXy5IUVg//c7F3dKL9DQkl6tlhk4WlRQNR5qp36wM79z4bMbEF0DqqiuPUeme18ZAnAkFtA1lk7touYeX4o3menq6k0Pf3u7XhvIVbFRWJaiwAR3b5Ijcp2TnFwMb4HVElaJVZwSo+w7CUTspKmxnmZV3YJMvyaquJnHGA548WxjS3aXH+Riw2oSi1fp7kQ1FouQdYTuzwC7hLNDVJm58R+Y5UjbKzgSsw1FMQjGHW6aRFbNvcvoKyhkLTGvq5b5k8xoLbBxSdVQNJJgJaAMzx5aR9p6RKBx2QbVaS2eKV0APVPtaIWCUSvZjAbR/AUSLunCBShQG7Na1WHI/cDga1EGXv0ro+4lTkr4UjRISOE+4ulq2YSmHtzSNpwwXHYBvfljKURXGSol8E6nDAdVDOf9/MHjrO74U+WZ1kjzubcyG6Gw80JkvZuSJpvwDievsMhCIQ+hlW+OhocFCKzNhysEXdHm6/sKHe+osMHxYNQl30GQXSia9VXelj14qM0GVqZQCXG7x6ShSc8NM8eZfe0kQiFCpA1wqruGeXyk0jtVhWOKxGi3KV9o3nteSoUpicbHmn1qAG2guRmMneOuIiANdM0TqTLqdneugW1jRgJTvz5t7wryo9kevRHuEZZamLPZLg0kkO33LEw2UrieLWXuvCSR9BgPmbVUnAHW8Oyrdvu/E8HfI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782336532

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

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

