%FILENAME%
haskell-tamarin-prover-term-1.8.0-21-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.8.0-21

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
911338

%ISIZE%
5609080

%MD5SUM%
84d9d0acffb0c83a84801c98ae0d0163

%SHA256SUM%
b2318c7b599427135604615a8c6fcfdcb3586328b3cc09e2b3d7d146c20b51cf

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEKAACgkQrx0hme8KPM9jZw/9FLJdqXQIj/46wjVNaq3MPwmjtEBKo9c3K5xuC65IJJ47wkNBT0LkIx51C1mVWGnGa4WOC2rTMZ32b46RdwPAWKDt1kdcpK0dqN7cRevJPOlwONr4KHiB0n5vg0EQTkWxnCrXA2kdI1N4bT3HeDNEoHwPSJ5uHydmPg7g6oEYgmENSPN2lme23ySPve29wE8WeJWBck909KhtNEw31QufQReB4u4voL/DGaEyqBtBobqk+JKCaKL+M1xAMaqp2G5Rx2OdR/dnWlLXXlgu0nhCDj4iaMdnZZbR+MwhsHalBaQKhmXmoeCDg1Td6EeLqTosXkGpmjB0cgtskx/BZiJfBU06G5UwMYI/EudV/VdyTCSLveAQud4OJGAFbRRdPypyrbpi8P6xE5SFEKO3LYnxS/r401ZotfVohrZmaInt6cQjLHw4bKBkuk8Jx14kbBWCJb9GKvBv8kt04lhK5lYRhsTMnPKfo5lpoYx9VQ5zGay3qgZsZHMgWWAqMzfo5R6B/ahsPt/Ka8sCgA23/mu/26cKo8T6JFvU7FTV5B0AdDpDT36anSiL6LdwZWJVzZeiKUMuXQzHUxxoMgDAHw8sbXhdEqOSgW6KFSAYHhs7Cp18UHFA7Wg1RluD45/DGNX3M6kKa33+yqWXAc4/4fQpccNglmdPBhjhgdJTrFZ6IZg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340809

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

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

%MAKEDEPENDS%
ghc

