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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-93

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41024

%ISIZE%
163717

%SHA256SUM%
6ba36d7d72b6ad5b9474efda616edc38f3962d67587e3a65ed9dc2e67cb2d168

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYlxUACgkQeGxj8zDXy5IuZw/5AeMfxtLEK5yKW1v+ICetOTa+jIb+aC/7gxlt46JUHTF4ayhSdRETvpkoud+tRGu+bNgysNwvVKdjm7PfmS1ZndGXXdHhDHTcOQ3A3elb51voS3yev6Kadts82pxO2CJd7rlW63/hhrDYBInmuDesIXl8d8FxVKlSB0n8AV7lhPX71opIXEarFlAhBVL28fo0Q5Ulaw71jZ4TFR6R9t8PuUUapOxhhWp9R4Jf/w8RYb253rSR2F8thW7Tn3bN7oxTXHtcDYF3+k8t9lt7FOpLoJdGLg9rvtidcArkR5uENN3d+Y72sl/M+iaR/rqqvbSSDqWJ4BRvgNy4ii/5kN/vFpa27MgijBJxIhCh9ifIFxlyTYVB2+9fOy1RMCxoEofASD8Pe3YKgKbsETmxiYztkhWo+L8IxRHknULc5JB1NYmD/8NuSrb8Btvslk186GAw0tasBLaOjb5i87w/VejMIKGoNuqqlEIXoCDTf9/Z6pK3EqjZU+HEiHXE2eiDWxQb57rzoiePOVRDOAt49599VWoUo3h6Umems0MmmYrVP8gnnivMtZ8JDi7XkLjCGb4N8NT5BprAyJsuEx0g2MdFnpsWoUf99os8ELRCsU5BuY5ziIcu2B69B/TN8liDm8Fm/HjVSqnSgV0SfvMWOx97QpWngLvUx0g8OsaKCyThHSY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792579327

%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

