%FILENAME%
haskell-tamarin-prover-utils-1.6.0-75.1-pentium4.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.0-75.1

%DESC%
Utility library for the tamarin prover

%CSIZE%
217085

%ISIZE%
1092335

%MD5SUM%
9cd70c71e6e521124ef49b63edccbbd8

%SHA256SUM%
9219a35c6dd1a88dbab40a68151374929599c307b9c9492f58281a035ae084bd

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFA6qMACgkQyOj1oK+bp+ddtAf+PnuKBCCxchCfUzlaxnocSaozjosNyMQhhcsbvKN7aOcztQOtoJF/x72vCZ2/Lmdg8AT4Feknbxo2RVmLENMnFur8H1demQcLsxFmGHZ/BMs4KxCiCkbA9dntEn9r7IW5JkLpN9/YXxpFkOSjIMerwsLYwOwXCt05nQpawYZdN3+AKN4JrG0tmbn9el5Z51fxBnFGzi6WnSb6qk0fCjFkYMobRsYWGVC5/DbVNmfiemTMo5xgoPz+i9GyE2DwjCjLpjUyZnNBvl8o8XMQbHPiwVzvlzwn/kVAJAbdjZXkzVZ/l4xeWFv3jZhF49VNWPC0DoDi7aIfN+qh6nFtSSaWFQ==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1631644295

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

