%FILENAME%
haskell-tamarin-prover-term-1.6.1-41-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-41

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
861179

%ISIZE%
5212241

%MD5SUM%
09460dda6fd6d0e68aa4a87f27007da5

%SHA256SUM%
8b4e3bc5215859c12156bfe5478fcace593e7107c6be2298794f46c8a3764a52

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNEQUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYutA//TGC22PApcInGH6Dj2VaBHgmXlSThjlNsQ2FzaP2Gr7f4h9C0B8jjTDQOq8KLBhfBsuOrmNxn2o4wCZX3Ka23wa8cfAzInfTbQDeZxGn8bqjvCFu4hbZ8UTO86ZU0IDaK0VJBZe3HNJ+DytG6Z4ToQpIJqHXOzCEZgFbWIhKL699gTOYmXBX3nszyLAg0c8UaJH+/5D99aGImWiS/IzEHrzNXsyJEOZCq1kAZaFAjH4D39sBVGqXy1U9lkX1Uhd0P3Lyq6xi/oyi8pfCel8OeuUbcx00YuxB3r/nU8hy1VnUn0ZSK93Rb5G5rBQIxbSdihgtR6FyMKTuYKu6BjWwSqlbsc7QJhdVMqWSOsNQoZa0amExdkTD64zeDaIstu9JJ4Z9iS/wpgK+OTfbz6KYN4UWVNX3H1+amRMolkv7kDN2WtCr5eRlmtHCQRyiWxwR64e5bILFyEqcriXo4Xp2sw85I5M4TFJPic0BpJ5Irb2enKcXDGE1V4C2X84hUY1DH7zUSa04h3xUjcg+fQKaDoWFs7lzDgGTipMhvm7OHcgaov+0YhkzWZd5RYDEUYi5oSERdq9D6k8M28+5iZlmta5Z0qsykuFfP1PpBASnuZc+Tc+Xvjw77q+3VwPDZjlvaHOfhJff2S5xn1b0WzhVzly5wvWQ+UTo30AhYtYB9WB8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1648787919

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

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

%MAKEDEPENDS%
ghc

