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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-84

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743870

%ISIZE%
4436982

%SHA256SUM%
8146e1b54629ad742ce5ea8eee7f26b46e51ea12498bbfa52f5b1ca288aa9627

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEEfMACgkQeGxj8zDXy5IbwQ//V4QXZuKevB+pZg6bdpJ9jWsDAtvDt/dP5pCEXWoeNNXoSkSuG5Fge8+HsyK16OcQwMGg8A81ENlA0hfgoFzLNFiDCaLhP1deoeWWrdlnjIBzmtWKfcJ5C2tpUSbb4BpCnCfWyQMaiShZ7B2UjlqkktyJJOqmoI6cALRuSAD9/+9u0l1sHXNPjf015sH8KnJYL0XhJzMF2w0HB3W1U6Mp634LUONhj7SBqr8nhKp8NNhls/zTgtRM5ciVXziOMeQAE2ScDRlfFBO0j/f/wddbaJAQULdE7E2bpSS/fxvyib7Ed1S7gt6KPvpilJOFugquN+4ZSiI1HhYlZ1saYg/6//wm5cgx9o5Tp8od+bfquROsMOSGOLH0Nrl/so3wyy3vbw2GKyBfT2hQIRanyubFc4gyGbhrxrHOaXshRUXrQW0WskkzbSR2AmK9e4zF2lp+7ohgra8UFNrPY5MEuMadfAuymKkHgdU6zuyvKlDDRxuWxW/98jALSYm0cI1+eqOOk8HqR4Stx/bL6u0rmSwExv14MzA0dZwHeumAQ9iXx9J4i1UBXW7Jxu6GvnY5uF7NcJ0ggRyQdaxgID6LhK803s8V9G4oQFxvXkIWkdOoPx2s7pF6DTAHjLvFHhUnEYMcGwYTNAcU9SzGL404bfW8ofwL266YHbHLzYIYkuiPUuI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791234515

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

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

%MAKEDEPENDS%
ghc

