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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-79

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41201

%ISIZE%
163704

%SHA256SUM%
321dba551d789b734b8e8db4e0e6b0da808015c06afed36ec442523281fbbf13

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXqcACgkQeGxj8zDXy5J/4RAAu4GLRW7SYMSzAUAmQV/18sPfBWoxISoZs+Ngy7Ym7WVx2xdTkWioNAqzTxAtmLDT/wb2OKlY2bdrJYfEFDdk1Qv1w1FYf6HLO4d9CQ6o4hxI2Clwy9OXyxIKoWKQONcxAJmb1nCDohXCqN1cBmS38hfkGFkmozHkqbDVJI42Db1oVeIhu9kvzUpRXqtemhVIBK03058HtU/rJgkHuEAMKb7vfEpIIobS+OdaqWjEi7/cWCrXKalwlMTEyoaN71Np5Pi86q42YRJg+UlhHemFuB7kl5bPEiS03FEnVACeBcUAeWeLlRl//uiP6tDajFl9st/BSWP23XNySkwqeHkFyoH011ATHo4V9IzlDWpU9GRA/HiXID29g0r6KDjvFZIVBHQMaOg5+zt8nHXe1DE4W5kkLx9y7H52mrcmb18mHp7PqjBi6UwtmjyjuvnNWi9DxvcIg3+aNLFjBDYSt+/hFV5aSZoe41dfDK3KKtu72rg1+wxbAKMTXPoV4Vr0EZ/wAKzL9i3hGddEgOv5gNxnDuruRWf9nB+hhTqGzaRknPy3sPc4TJQ6RaNCR7U9CXjiINl8y8iDgwookXUcqvTRrQdRunMtGEPxSE/5JWyTp+goYUyhK2yCwEJAK/52ZwddzuJ40UC2/J0uqAl8AAG1aG6WgQ3li+8EA2Kn+IFl3bk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991997

%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

