%FILENAME%
haskell-tamarin-prover-theory-1.6.0-103.1-i686.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.0-103.1

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
2171438

%ISIZE%
14829526

%MD5SUM%
aebf7dcd913083877d64321e8b9a2875

%SHA256SUM%
52f67e20e1e3b82e90792cc83ddc34bf8524ae088c20b238f9714bc0cd81ccf8

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFBZj0ACgkQyOj1oK+bp+eM5AgAmNj0iX2JofVY/K7Yk9ffcj2vURInAZO+rBB/WWWmotOMTPLNG27xGd1nEwjfWWXaNnjpWUkZY/EaA0iXIEyxOFZQNUyen/ciWe5uuXBfal59OfAo5N2Cv/OCMzfvrPVqWRdjfgcXE+d77MNWgUkqeKqIe9DFunW63c4T6vZDzFIJUyasFAZpkYsUSh4D74hxhDI6UO49g7o5J03+uXts2cJ0dL3lb7iA9V87dha2x8HoJX0P+eyF6es27SmwCvfwCsGHCCFBJr/oJDNOT/LyPzwK6ks4tYc0lgk5nCfevDtjKf5ltsHvR7uv3SgaBr/fde6a2/clEsuEsG/N1XBNXQ==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1631675804

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc

