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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-29

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41135

%ISIZE%
163707

%SHA256SUM%
69dfd16a4d8ce94a38c40b394caa34a0e8c6220f0c105b909d98b94c1cec9fb2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7SHkACgkQeGxj8zDXy5KJDA/8D85CAf7xgKUfububl2SKlyBND/yX7DXaycZcafqc/KWFUkfqcjnoSWx3BZFDiswEKQRTHucHDEu0QOvTYFAIOq1vwMnq0oboeeFx8SImSD0kRuw7/APi0YPINx0sozB6wK2tSXIjZv9LHRUhCYq5qUrHDuA49de2Olm9xGAoZduzS2duEtI9jB/0Tr9HwhD1sgVG3EXLHHnxX6Rywr3PcDOnEriPlCYaZ14SWTUPVSyn8yAdA6Fxchkj04Xj7MjhwltTdNz26tJ30VviFqdrbFJKEAevzLfDN2jvhaYTiP4zj6Lb4VynoxnKBh385FPRegRd2SnBJuj9T+DCeexCZLHmCUGC4usBS18Ylqh+jHPvRHSHt6/EXM8TDTRTPcHFSj2+cZHgoxAVv8NYJE52/DsiiPp8xa8v+YCLgnACQrB5ogEFiI9IvmscLVmAkyFP/g7a9K1RXjgyXs2ZNZ5+AkC4deMcfcfIR0Tl8OyJva8qpxJsOHbMXgAhI8fVXBoZXaIiPh6Uool6OarfNGt0M1wAohcB7daPKAtrX9qcV7Z8bYj0iSzkFYRIdnwPThZ4dg9qIFmBM/Eg7RITIlTPKL3AntzLK6vVBx98XX40L+RZ9piCRRJqtFu1Y0jU/51aQAx+aFxVF04FDxCxsJvbpjPN6MFbzJsOdGKYmOCXo8Y=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778075737

%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

