%FILENAME%
haskell-tamarin-prover-theory-1.6.1-107-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-107

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

%CSIZE%
2825110

%ISIZE%
20680372

%MD5SUM%
fa5e9444eeb2696c7d7904865449cca8

%SHA256SUM%
cb71cbeb1f69ea47b97b78dc483014128da42c00312c5fc911f38bbd09fc2c3f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNN+PQACgkQeGxj8zDXy5K1txAAu5M/8K0Uq0O4mgT5DpNHF1dnw9veyCvc+/dDybbgH10ZJmtZymV3he+d5EXLNPdvsYrDqtD6WLe5cqguoIJd+g2TTS/dtmCB2UPeDlZ5kzDPDb/htEZ+nMfcz2LUW4iDEHWgF6fFGhZzXSggfbFQhPLhadElfFDjSeKcsC+U8Fhzj82uF+9xFR9gGum5aFE8nHlVdw8Met/a0PXAC/oM1NqxHS2AALsPh/rQvWS6VCm421x9H8Sd2D44t8nV884/B9XvbWi6aXViINV+Ji+bTpqsIGf+y/P+tspmO90eKsbUQ6UQ+YdztCJZ1XQ/f8w7SPELepz7qkACsBF+qM7ZKP0eEjOkpNxoq7y73JySdEqgOcMElB5P+oVgVVIiEnv9Af/kERhEyunAczE+95Jqrtbt8CZvEyBJqEzewLj5yzL3fzT0Z/WlhpzlFwXpP688sCvjuNxeMMA9Mrw6P5vLzykhplJPvQLmS60KQxkZUMNa3UUMTSFIJcm3Boqe6slqpm8b/spLJRAZS8O1xPQxJc545+10gBzRbejZFhDkbPiWjuCTVSnfz4NK9RJ7q8BZjetQF71ldXo58ZvIibkBTD6dLDHuoaoecPoHT+5/HxjERYGMV4Se3UiCa0iM+wAdvMyZRqw4/gCfbxGJGe82+kG72L1hHpJx/PBJ4eK4yLs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666054187

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

%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

