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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-63

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41264

%ISIZE%
163704

%SHA256SUM%
bcd2cb78b48c18327137911b6073cca40775f717e25dde1337e4cd0ad43d161d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHzQACgkQeGxj8zDXy5I++Q/7B9QRJ8I8FjP7dXfFRNc9A1WkTHlA/0mJANXm33oHjWMi4n0z0S0aNYSQbCYELqcnsWYpzJT2c4cQRG+IhBgkpJ4UR5pX2lCPgMJv0ptBJcEdYwITJ8rGpr0nwR//hN2hRlPEy4LTnGt2+2n9whoKFMTyb1BfSCF5AvoCoVBuwXYkZwrtJcdSzdoiW1wjyY+XzpfCJ0B5gi1evy/u9NFjD0wdDeMnDIa3YXkUJTkJY5ADR2W33N/j2k8HLwIgfMgCOrr/1PhUtTCITDu2HAkvg7h7waPSKvL35WMi0IMZrDIBgawB98mYnrnTzgZsQWGIavPGV6iqeTG4LSTQ1pcUpOj2o2vlrlDO/mwdYkj5625HH9gtudVJ1SrQAeoHIQ85bdqA/6CepHQNBduzsYfxkzYeYu8oPCpUQhEjQq3aK8cRci6Ih+hyCoEOIK1rfcEttdb5jXnHpUYcJQRLSvhlm8Y9WU8S/Q3NfqhgYyzA+9QssFX1avturmV+8+nmSC0JN+kzbSxZeB4wjQDxQtFMIIPfUcvlqZVpkW3TVsOqZMOWEH2/Hd3t+1oeOyw5GsP7vdzI2zXF5+XBpZ0WQ9eq8vbX3L8ksAHUit0rhR5U4K188dkHTrTLEjs3Gu1gPajTm5e/NyQqHBiCDWzF0TLIXe49Y0pKoDxS0T8nxZhUMJk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045925

%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

