%FILENAME%
haskell-tamarin-prover-utils-1.6.0-75.1-i686.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%
217113

%ISIZE%
1096398

%MD5SUM%
261f412d4310b351edebdb7fa6466c6d

%SHA256SUM%
31845cc5f591b854c5da7db4a69408426ee1c60aa33a2af0091b5417b53ed821

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFA6m8ACgkQyOj1oK+bp+fAZggAl2JwQ6651Hn6Igj1F/QiYcMtk5J93VSmVpFeOlLxsFXomJWYD/wdRU9ZC4VInbhce6hKMbXI2fsNAHtpSFX4gDAqNQZzop4joyH7wXd0O2BdgBy1B12LvZ4e0wK4o292Rq8mKqgi7miiAepuFk1wwmIvHK5i5w0DUXwSIRntyxJRjqQmX3jXz1zLxEFJooxZHPO9u8394bs3Ri00w315Xcna/DBW6vknGw01qrKDoeu//yFRC4vObMlBtF49+9rfUySzSce6OsjR0vHfjmZgoq5bCZmAKI1YIXQTWfn7FmtUGVlYTrlJFV8L0a8dJTicyvx2RqMETClskvpRkPF+RQ==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1631644238

%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

