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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-41

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41261

%ISIZE%
163715

%SHA256SUM%
cc43413714d8db49772026f34d0a7df29fdbd9d0cb7690de5d7bf729e7d5d1f2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoz0E4ACgkQeGxj8zDXy5JkCQ//XEpG2vd2eUwbySdGhCRfhONfxtdBc+YTBGLu2Zq+p42XxBHEh89iG6sogU6bxuMI7m3ZVquln8UYT2AsFn68AGWgzVU9FtZYB4LA2hacN7N1q1KWbjJ/bJLG85D5wH+fpLA1keP835B9uRwP0jdNvUr0RGhzvVhkXZpnsn/XrPKPffjf78Tgtrr5Mcd4TYVhK67Te9SAUOI261sIwC0oi27LSay2EVWF4H/eiJHlexudWd/0Vw4oyq5LFQrcr3PlKQpq9+a0EXQ21b4cv2vzisZm3wyCdNGrhDPPTxdCrXahD+um4pD04Li4pIyKcy5x3nkDk+SKzdeFsOSUXk6VtX1GuoWTfErRVeYfPag9PMDRQ2eEMU8siVQ+tp3K9ob2I0n9rae3MESzHOaQNK9zjuVK0KtWbycR5XncP4zeGsK86hQsFlsz8j+IqcnHgW2PvxkJt9geKab3dmdnTPZqLHZ2p4gVU4gSEUrYkLMuTSbhbPSE9XhssvInOO3H5QEXbEoWkL7tFQkyma7f6WRhL097GcMTyXgDL8iYGeIjgz19aGsTao8qt209q4ZlZ/L0e9U1pCURx76qUF39hZi1yTLlaRAbPxHMV7AECm9R/ztOUtIw8Jg2YTho2wHjhwDWYtYko7524eDurq/sO2TGaoneNylD6rEgj/hY2ZvAze4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781780542

%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

