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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-23

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744443

%ISIZE%
4424458

%SHA256SUM%
d082411c18ea538eaf4d736dc8ca017f6fe98598c0638f10eb3958836814e578

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnntOwACgkQeGxj8zDXy5Jm4Q/+JHj4y+XsGHtnUTMg3eLj6YjF98ELxb1mANJqE04RkCdqRbwY5g7mfuYRNMqjO3S4zA3FdYgcmd9Ng7wt/NCVFwBHH2s4/9/hhMp7nCp7WSBCPzflOoxO5+smhBqjmui7dB7xV11P0DuU6Osl0e4ndOmzrNqiCgUVYiLIkmo3ljtSNE3DN/1Ue3NlCLBEU2aZvPLleJoH+elrLfcz06liZmV+R/HTZNQsWkYiz+KNv02wgdIFgNOlaY3PVh+c1pYf1THzJTe/5GrWgon4umdOFVfEBYKO4YcAJrVyKVoDbI/OYq+eFN2g9hO2aIjdZXrriStmQqRUjsSemTbWC9B7s+JS34sXgm3iY1gM4eNYHHPjk7/m+maUHHG/kL2jU5JwhoGJg6CbcFVzwwpdzgWLeC63lTTOW3YMG4H8oqHk6+sbm2oW9B7ldnkolBoYSWe0HtLjhN+ylIX0yNW3pgsGsDDIPqoj3DEAejPnj3aw7nFWhdIneFVPc4EEY6FO52N0SlBSkAszN1hSpWKLdlRYQF7nHQuhg+1WfjP1W7OShUZIWt7BVJZDzsiJUYHbInaQYb1KIYBGY7N0WzcUcFRCZxqpecNYMJVbZ+TmyD/psGRJAp+jLObolxdhdvXNRAsalqzkI6JPgTr8bdDa1paDYSeuYS4frlW+kfp9BCHYr58=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1776792785

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

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

%MAKEDEPENDS%
ghc

