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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-70

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742774

%ISIZE%
4416339

%SHA256SUM%
50fd6deb53c7019139cad324492c104cb0fc3d5fb2e9fcb621c500cbfc377c87

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdcn8ACgkQeGxj8zDXy5IlyQ/9G0gjabL+y0OTqaabZ6n+UfJkspH+uFE678dzxDBd0+Up4AI1lCwFGkLU/OeG4ulKHQV3c5HWvNYaBON+/4e/qlxXkyDLx6vNwnAVmby2JwK/R9EYwP8aYkz0i1iU88hNkcA3f/KJjbq1aT6paqQ/uenRrDWBFC0lrb/sYGmwzmlnx7FIvNwlEV/bKbgvGF7f+0MN+AIPsoV63c7CXYyGOf1+4zIL7ro+82R5VJJW4d3a4RRZmI6C+1zStJW7Q6THYJ74yehG3hEwJXy2c0TVRl/N36pBpVphm7c08dee7BpyVzm8HosBxU8tyh4O+63EPrC1EKd2QOVECrTohY4xVxcQEUmAwebKoGrZrR2OtAVuWRGv9VSY5Q1Z+3OLiVhGdEnhojP/36VsMxmPxUk1bUD+qNmuyk5ngVWFM31jhE98YFyj140h4l7DFCWzIH0twVAc85KEmOO0Y6ElQ3OG+ooZ6GT3BBwygUdQA+pXEChweW250GcYZW4w6trhu/9hXT65iHrSWgodsq1QAG+mE1g9tOxx4HsHGkLaK3rOnOQq7rpwN4KWs9fZ+dcn1ZxouVkgKUdNAv/nudksOjx0qgVkStchENeAOAja91e2on8FN41C/bv4FRihbMlDYaOr8x5gCVe0CLpdCHU8b69XCJ3SoUx+EcoeWmUUVzyIrOA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703325

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

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

%MAKEDEPENDS%
ghc

