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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-141

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
740331

%ISIZE%
4405266

%MD5SUM%
1f0a3d6805c2dda1159cc21f90000c37

%SHA256SUM%
938c6c57af3862728b4e7db3488021661f49dfabfd3e9ed24e2c39c699eb64ae

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlacYYACgkQeGxj8zDXy5Ia4hAAsM6RvzwYaoc2Ub1cyNjcJzkKgFPSQs2fJYp27cJUAOOyeWHDyf411pjx979YtBkHSuqrFO0C5/WEiHRZQUDhJIZA1ilegVxxPddknMp4C20rrW3/DNpequY3EgTgapsbuSNEd8ag7Va/cbbg+wS3wqPqwh2rWnz0lpcUVGSbckrhLl5pk6/WaROgNKxvVgghDckI/R4S6ac07irRpuBen4OD6Tb0Kt5x/xssscn48Pr6uIqrwzJ2B6RMTDnAUE6uC4g8CTe/J3FsZGRE3YEi9DTXdRQlbFWdPbrGYWr4TsE9OeBD0CGrZ56drIjJs2IS+e/LlF7WNqyuivV7wXr8/K4622xgNcZKMIPHlzTP1tE3hhBGyrZcNSuwpizacXWyfkVdApoHF5wY5irGtUyEOnkKdq/gp90uykX7tsXN10lMZgsyNXUQcInedwAKWxaQhUlsLcpsVa4MTxbkzTOB/vuQdmBGwGFEAB5egmneSE7eIvh2nejwTkfqrc8L8IkKBl0QmN1ffGsMWMPf2r1XSF8IDtKwMYTzC3miNhEYoRwsrZ8tmjlLh/l1H8FzihstM+Lcx0oqnuxCLG4YQ/u8FO//d91UTM99VKnnJna+Z3FKki7Kc36/fP7CUBbBt/ZKM/UG7ARFfP2rdUMAL+4n/acVIqiPwmMRtZ1h7+GkjU0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767534935

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

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

%MAKEDEPENDS%
ghc

