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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-35

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742859

%ISIZE%
4424494

%MD5SUM%
ce1b56f5fa2f993a0fa0bea39be8ab1b

%SHA256SUM%
65475783e5f05a5b7095933f7e45eb1d9c5c15c628105cf125d77e00d6c84858

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGta8ACgkQeGxj8zDXy5JZyA/+N2ytAmQ/IcFxQF8qjIsuv6rwUOkgcI28q4z2r5kEdp/LbNvtNMp4Fm7TTaaB/Ye3m+BJ9DIrF7me7FwEtDPy3pE7m+/E8UY0aOsxyMHyTK++p1EalR3NPlD/8y1k/6dH09Bdvzw15VLeAVdtt9zSwr4IZJITlWYU09OioOde9CbeHV7tklsldhhSISHXtT1KFWBJTLlfmexE9YUprTCg0LOjmZmS4kudf9IWDbXh5E6gj/tlun9ndAvwbduaxRHfaTk2C53aEqtwhkwLo0mG4vKaA4QpSUdMd69G6eHHnH/FfW8P3DwEjfgTkRkbn2JZfpeKcikIk/FaaGzC2TrWG1cb1Lmn1hH5Ck2yVnBUfRheD6EUEmLhi+g6UACc1prPB2nTlY2djmo0pHmRBFxoNjnrISfi6WXIWVA2s6y7BS8u9m8bjmZgl7QM6XvmAhSzE+8TUJ7jYQu3dE1gpqAoONYfh7Jg17WX+0D2SDSoX62728NEji4ympMcpR3QI89jE27E3dUGYFa9VfiJlV3zMyOJA1NzUEPqoMHbkNMX/8c00QUK9Dl/A5jhwJP6Kka86AEi7xaZqFFQptP09uO0OkyrGLz7DyAbfMMil/q0O0EJBCBPM4G64AdIllObvvmAQKRYGdkQ32r9gjahsI9lDA0KnZUnuV0HFYr6Fm2zogQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778824566

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

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

%MAKEDEPENDS%
ghc

