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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-97

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743010

%ISIZE%
4424524

%SHA256SUM%
4a99c598f44e70a1d0aacde6033546480c7b02367cf1c0634509ea76fee0c76d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0pBsACgkQeGxj8zDXy5KVUQ/+NtLMMdbDE5GsVEOcL2dkVq2xl9uH6Wq9lTd0qq22q52VDTuGsesbqba6k/90Q0HddDMw3Fq09WzE2JfvnsdugW6GkgERwb0tDPEB8jKiqhK5bFmEWcAOpmzuTP37V/cihrL5+UE8PYbs//qbFR6w3R+hpDV8wWgVf1gkMQeFu1eaIz7xJotnlqR1HkzsuLtmo7mlL/aIYVPlXkazRib6MzbMGXyEHGtvefTqVDaijWTwchs60pMOenaTtPUalcY2HtkEkuiGvOCDwcxGsNKj7lgWpnHeKA0m6yftjz3l3ATtfZ7ieD9ksJ9bbgazWtb3txJ0SGaNwn/xzCHpUxWA/eQbmvtx+X8Tq41ngcGuTlcts+KZ8FBVb8PZBglUHMkQVpY/D+yyq5JJXr5y5EUuo3zcCMxVHh+Ic78CmgJFtW7q16W907njCJQ6AQmje7Fev9e1pm8cwGYWR10VewD+JiKG4HBblR8xbrvALfkPY4IAqspazsfDdC9BE+OzNVpVsX8W90w9XY9RVK+uVrVXFdjf11I12KQJq21LIYP+H98yWye/8ILs+cNYraSMA+M6Em4sPCduztsW8ghGmvIKuCXKIGJy7hxvXOtLhIIAD+noDfUkooGD1AmkIFkcVaOrrVj3ZVbbB7RCvxIAmKDsgDqPrG3p/nZtKWs6wdXiC9U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794417650

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

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

%MAKEDEPENDS%
ghc

