%FILENAME%
haskell-tamarin-prover-accountability-1.12.0-27-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-27

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41176

%ISIZE%
163722

%MD5SUM%
3d81b3637b65c1d3cc9dea0f3ce0d551

%SHA256SUM%
5cd05676a7ea48a6829269b297eab4f525d9ee8f97f3d04dfbb7e0bd6c3c54ab

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyIkYACgkQeGxj8zDXy5IeaBAAiG6fI/+szANkzl9PlHBv50GZBQvUsG/2WHMbvC/NL6B2skms4Y9UNKFRljJiO86Oco0t0yvFpdg4ez9RnLqvg7ZGbwEo8W+w1MQwX4KwyHzVuaRxQzsDZHyGC/9XCjuYfCHDo2E7BTeiLrLznfybakjSSKPbDrgdjOMiyNaTrUC0OT1aknuAQH9QLBaQF1WFBcoczVUPRoG2kz5A0u3WAiYkn6CHmoCvFppzhq8BVMDtvpeo0wi7X6VHxWGO5jUJztqIg9MNFl3hOGmpFAlH32CFHmFpKkMGHYTRx9qmOLn5T8OObAufFD2V9U+zMldpnO0XJbfH2uxEIk0ZtU0BTeRj8/RR4+8+pOIcC7PSu/mel+vQCMvgB5DjL5Pukl/QZ0/gm4B2mttxA7VPSFw3aDrcGS6CFhfVTwc7LetDt2cWyIGNHhwal8nCricKrMiOVccZE0FibWYqDtHfXyphpi7WZN41thqY8qKCxPa08Jb0P/Fi/SjcTIdZqpD+HLxTp8E2IIdyLuX9SIdVIZjkKcNgiDJy4AyaqVVq/5FhELZTdbGBQtaGn2Qmk7kYtYNHyQXWcjCtmHTUQODwseM2s3AsDhVFw2qDUtpOwyjBGKfmiZBAbtK5qqpFNVOOLJw8Ro17vva+G7htUn31NjRY4m4m8DeZqzp8F3I6eKjFlSw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777476140

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

