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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-53

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742354

%ISIZE%
4424552

%SHA256SUM%
59c9550324f2bb1926a1b34a5b6634b52255a25b4d2627abb66847b26cde7cd0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7xpsACgkQeGxj8zDXy5L9JA/9F6Wz7yUfIdtLIpkDy9o/zG+El/+lLBKNdKoA3dygK+HgDeY0FYdZ4Cvdx1sgYB+UG/GYxjuYnoJdzAa2H5j4TJQaAPv5A1pr4Wm0kaO9VGeJgTo+gun0mMgpb8SilAgVvhntc0J+KReEfFMJwQIB9ZiP6bH26dlwYTK375yJd7TRV5NEVAQAvCPIzYNXlvM2/5BK4dfvVmYaoHEO2H9uB6BiFWaaX6BTIlr/9A8dsINZdHse0DsFJU+SPkx5rgN8TuWncaEWfWGhNn/AxDBxJfboqCjFx6HhDPh1tCMZhAgb69D6MFMDLVh/kXmKb8fpz1+O/JWxx9K1itZGOhsuxhS5sN0dAAqu38fjCzA//08HDz2zrOVPBEtcr+M3WaifOjU9eixpuBYCIeKqa8Qt0c1YZ2nygREBrnZJwhrgZIyGjh6RCtAEEQmd5ciiWBc/VKcmJeaUbRQBLvULEtVYG1hLNSDclXxKpodqt+nK72vUAMNPBvFoRAB26HXuGAUicXtiGuGNQfMK25a/URg1HfnEobweopg7xL+47Yju1F7mk509y3hNosjWi0v6FmLKVyNbLNna53cuBOBWJA6LmgsKOIwGlzZlJPCKr87Lc/YYnzC3yzLNvVso7kyIrVwRZ2T8fyzyTvg0u/C7gD1oYWqttUQJmQDkHnodzs2pm8U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782302341

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

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

%MAKEDEPENDS%
ghc

