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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-47

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742842

%ISIZE%
4424549

%SHA256SUM%
d2b5aeeb1df7a50d6ef9b11ea287cab42638c85d198a68a3d8702c63c363c14a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo34bsACgkQeGxj8zDXy5IGJhAApKNQw6lNULuDhaZl5Ta6GYsD/2aFhwoXwGVDeUiZuPE2tC5/03F4wLEkyXEOhDqBf07OnHTOwJYXcQsgYkOsK8UnaA620AV1psneVkr2S8PDcCEHN05YyrmW/chdIHhc/hqnpPIC98aIvX5ZWtd/WAkTEuMDYzTlk7OUO5Af2xnV+2fmk56iIJm0SjcWq2khhQT0izpCdPLeqqgX4BwvT3QUyhA3HXaEYPDoFiASYsW1RZ6lElMmhPEKFxs+KnYhMiQYFCJlay0Bb5HYqnSl43wl6QAStUWh0BiPHzADDEqejhA0ipY33jWRCTtceU5bnB4taBCUYyNC+HMaUeCFlpoQnQRsR9ifieW58RsyoHetKTp7Dhcnb+GKqohpx/CC9UmdvZf2ILPsogF/ehT/QBs8JO8AATHIV0C3VUAuy1hvJu3EUtydXBUlJ3pdGhaZlisyce9sqTSi8sDsBlo6TNhzylhwrIw2/b5Y+rDIjoI1xCmn7fYteBgDk8Kq70P6kMpjnkaUCf6M+RNyDv1+ak1ySsWNanQPOI7skZsdeluk39whs4ujDKfpz9Xz+pSrRLeFJiTO8IWZvzOHoWmruee4ByuRC1/4zt2tIOx6lP/FPoDPicCFj6b+pZ9a0aYpaf/ovN7Eckplhqn0nFu3HtXQP2qgjzRWCSLm58PXQyk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782047141

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

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

%MAKEDEPENDS%
ghc

