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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-86

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41209

%ISIZE%
163708

%SHA256SUM%
c9480e15744277cfe9b153b365b0d21c147c1ba71bebfa2b4f1e15cbb8c4c792

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrHaIMACgkQeGxj8zDXy5IIShAAtzt4LzSFc/DEJbBTk4bFPU/S8xLCjwav+ByuWrUiM1oGQtjxxOEtFyLBwjgymsYrzsRZ2OrwiqX9PRqIAEhmbe3ggpAm4aZsvgKs/77KAVVmRbHXUDGcWmAZF2ADgsP3n5n6Cly/h1A+qJraSIbK8Pe5RwvzWbbjAgXGtnNvXlc0S4KSmICdk9KH51hFtb04Ru9pZ5jrcJ1Tdjc73LezWJpJgR3MvHkLP4lA+xDtO5P53+W17iyIeJ9dmJxkiH4SUxGxMUmjBn1MHdE3qNTPmcP9k59SQuWUUrZKim5msxw9P5Jjm0+xmdKWYMVjsUJhBR+VL3otmddeZGglPtpEzmisJqpR2MCk99SbBwm+WQ83bNUY5ht4jvSP/0KqguNqL5WEFAlwr3qt17f0LCJAdPDok9m9lMe12A6tIVDkHey7e2Q9QZPeWEgW+TKXnPsGn4x0pMbc3eC45t1WMI0mdiwevtLhcqLDb0cKuwzd4Sk/mcWykz5DcdqjzlnjD1QfB4eUfFcr1toSJ6H2Kot0h2uoK9tvGOT3Ty5BkAzzP4VhrW0fhRJiagsfLyzjQ0+Mhb3EiF/arOIyPJfCgMI7gLbcxGGnOyNlzh8torThilEULor5FKdWKjlKOzy2sU5iKLoaboRKVfdzughYRTi4qFqLFcC1zVjL5tEJ2GMKqQ4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791453299

%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

