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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-88

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744930

%ISIZE%
4453377

%SHA256SUM%
e05b5b6d81ceb80345db777d03158238b38e3569c2f3e22d183f3b7b39ab3b30

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLUzgACgkQeGxj8zDXy5JHgA/+Jc1nq/neifwDnWUYvIFted2steSR/yEIHgoaco58WOfBSCvCJ0vjdUJ8mf/quK5SlMpEcTge4rfrXdBGrJQfk6+rBzQ7yKjNHskPfzm4IfztQ+iMF3RAfoFSDWueX4zbWa3gLXtwuMePAoa9P94sWtDk/ZipDnJVl+LX55mnhWqrHOeMPHbmiIvXE2R7fFvnLLLi+utRZn7B8xR+L3sHIYpcJDbkoVLQGY9nZs7pIkapWVsnfrxsSzv0PMi43ZMUJGl32wWU9T45COdyM+ZXgZ5dKn2bX5BhcrbvU/74ff2hccOq50BP4n28zP8r44e577BuDubkCBTyrohDxnt/EL4jlCVGeLdYgYo3+bPYADqLJcSKyjVcIEwCajnTs6XwpQjdelV4T7qt83n7IxR2EOWh3ILnUD32/kjfk14If+kkHJXZHCD4d3OCSCSoVsIDw1qAx93ZWIeftRswRblvl8U3VhiHgaauuI3jdoV2TAj2LRc7AQTLoKvKSdpLjwgz6aVgLEDmWIzalj9+Fjoz+E5woysnuuGds9g/M45CxyzfuK/cis2rlwA4kOF4kGL5tBYnqXeyzlopZ/ueoKooFUt1UH1o7/yJN+LsvR9iJ6VoZKQ1bjbnWBNLgSmg/sTAPeyoTxtMyYDNjqA2w5E/lbxHejTZHeAa6NkfdUqT+fs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791709909

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

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

%MAKEDEPENDS%
ghc

