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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-58

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41246

%ISIZE%
163697

%SHA256SUM%
c74e0347f9d2bfed6b7b244be47bfed0bc0b7da17b921666680a638a4e2041c5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/+58ACgkQeGxj8zDXy5IWhhAAqXdiYFwnu6vnIizcKzmacI6eRRfznRU9rh56CQx61tR7NEjUfg8GnA6/X8n8cdjcXlJxUYRYAIQ+NRDhg3VwT6Co9phX1AnIh/STRIpMzhwzLFfryC1gMQDAQW7Su9nZhae6Hnzo3LdCQiFzNz/3wXY9/XIzhv/mdPLTBYA9WujQTE4+eusnQwFpyGBmKFqSlJtjoh96kAjn9t9UgHvu1UgKWFl82AciMabO7JjzM5bs0sRoolEt3rEIcrrMoDmPc5rqukUcC2Xl8/mAVZdN42dnu1ZczEQEsKoxmZKZN84ZAFhz9o3q07lGMmc8eqZuZB9PVyXis0giGAOxpfPlXojZWTezBkP9idpNW5ppktTNhYyXG46oTnmcUggQwys5JpBtthviy2QkmovojYaBETfCElYaytHcfIA4HvMpzZhRTtpaUfFuHm4dgXvppzJ+q0fRastsAKT/SAhkUE1W4JRf9jc53W7m9RJ9IStr0esgtYqTEkCY93ACgXRSGpPvPJdZkKVVv0//9KwnFHa7uDapbynkOllZz8B+cL1kWnoOVgmMjLp9UOl4A/k9IDCeKCX90koMg+Y82h10gZHK58pZ/UBY0tKRQVm0Gfxk1UYWw1jIM/r+UnPkpq7ONN+aONiPKyzQtoRetq3B1BRkbLIz/xUmaXY1ibjb1Aqm7vs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782578065

%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

