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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-77

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742941

%ISIZE%
4424534

%SHA256SUM%
13afed48d5dda3defd80d5d3ed26d8e849b7e333d6a7ece7ca3a0f0158e57cb8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+JwsACgkQeGxj8zDXy5Jm7hAAquVL4ezMweCioYZzz3P1H+VwxMjNYA1cvMj1SdBHJr2gneJmd7C/eGzXh67yep+2QoPjE+c4tEpY/2xdfYZpnb1VUDGRs3Y2eOENwNcz7sKMuJZzxE1nwwrtdRC30xnqNHCafRH7b/kv8XJxgxyg4fMqSajom3Xa2UlVvVDYb9ArC3PU/G2x+4YjFRckOe3spXIKfnootWOUkljE0rlDw3EfRlbcGZTV1bGxFxx80j21r7nHCaf3vVKomEjH6kJs/0opU2TiSIz4U5EtTzp1oCkwh3z58Bh3Tu9orhe1ssAFKWBJiCqSbIjqN0QDPpdKHO9fIjV9er7AvNXZ2mfdHJnUM7LYjXRdOpncFS3yM425wH1i5l0BX8+w6zqBNP0d8IHeZfbXHdfbjVXzou8a7hZRv3qdgoxKck7kpL0pxOIrhQC5aUIdP2avZji5dt1TxvY8yikDy+FZGgD6HpfLY+XPjdVX9eBqXKKZ0N3FMUSwGsr2MiBSZ2VSgsnnX0t+inyrnoMBhEzCgBaJqQRT74olrWQTzZzs/33z0qUILBeAMWOQPbPtq9TvlfRkmj4PxgHkTtE4nhLhBnUCUfyqUD+vhOzzVX/ovkfT/I8UPayx04RvxEJnuJMltg+tVzwf88cM+9L4FFY4wswL6+M8Us0cCuL7qQ+5+1M6ILEVSto=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790846708

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

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

%MAKEDEPENDS%
ghc

