%FILENAME%
haskell-tamarin-prover-term-1.10.0-57-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-57

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
746839

%ISIZE%
4427739

%MD5SUM%
1d35925579c9e620e8c57df9390b3665

%SHA256SUM%
78a4cf2ad475f89db3adc8ed827335728b3b3bd75655fe4e2b41854a5385ba31

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh21PQACgkQeGxj8zDXy5IqVg//dpRwGcpj01ZkhFgx81st7TZ6cAfsBjK+EvsNT8JREbX+mdTzP3BtTM/3ykklBefO+uXlY3vvhKBuszUAap1H0072TtSHCaC2fgCB297IblYZAo2yOYlPwfbcZk1Dqh02X6nnGAR2J08beYAZE7QOxAJ5EcudBdS/ie+PkOgpQWzbbxU3f96bSzQ2jTR3H7mBUymfxYhw5uke3LEL+e5HPKQ2TflmHiwo4JP1nua6eLtGBwZSpgP1+fclAB2oS41Xx/7LhWRro3S0Bo2LocaE499mPeFy15wR0F7gM6j69A1yeMjSw8LpEeD8LIuFDR7kOc5IGING3YZ7ZZuoTAJJECg5cJQqMWqFEIDwMJsqsMPV6dcA5DjVaSzefWRpEN1BbfutO/Hz5NBqqb1t38/gz+xn1apC0QhtNtCCaUV2brFZMxSjDf0xse2zxfzwB6wApF1NWNFZf49m0TffckRFPMytLZDHPaNdl7Y/mOHWIcfHo/bqWPACXqDHEbOT7MtiUcAMRUjGliXuDnaUXGIBP4S8TSngYlWVLGZeq6sCBXYLKsfRufj+kVIWnhx5hwV368zL0DV6DVu6XoXeH/dr+HP0F/1L87SngkGMC97/po+QJKrQKWdDZDsLC0QSrWwhJY+7UmCQasdc+5n1okU5nB8mfHpjHzHzD4Hgl2EEJg4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1752618186

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

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

%MAKEDEPENDS%
ghc

