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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-34

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41329

%ISIZE%
163703

%SHA256SUM%
ed3a725362261ac71eea5a2d7daf7193e15c1e93dcd3e296b2a20a0e6a378411

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEiHQACgkQeGxj8zDXy5J29g/9HeweGSN0xyQZvdFlDsh5tz8QC6yZdgPcR5K0Xg80S9NLroWWjK7avZfT7E6BOk9e5iiO99YzE0fRDW0uB1DXaNEkFASzYXpyJoRgWKTL20yxIcDgy1RaCW5KxVHxu1HGXjuID5slnWgTBP4kLPNsaUVd54R6NBUMoCU3a50Bc7YRhIA/OunUOBLG9szpvVy/FTqDKOFzIb9O/5qmIOkxnjxy3KxbXzYCbv9JLQKzffMFT29xFHNXwLg/VrgKQfT+hBV7NuWATfkerVq/Z0+W4u9NxE8VTCheGPD81MYxON8uaYONrm6VkX8RbNq6cVIsmemzqFJ5TPJd1jOxKZKkwalpyTJXd141+8nH+jtW71JRmHzNPMnMSEuT9+cJKCemb6yB0yBq1yYHAi4KHFBgeJKZ+ppVFKgK+wDIU4k8ebtWP9O8FtNLtJFIb+V10lgnjpXaKjyDYcIQTGgUSw75xfKZxWY9IxMQh+tkZ0hwXnxr4qR3cy2tpWLU3YrD5aX3XTWlm01pyiJXYq1rNlCzqr/NPx1D0s5dVNvTKWmgpz4uBh1QY1lVbje8dP6tyKenbQscqqKvfQIhIB9qP+qsGp4bCmJARVFct5vqRFRqzEAdxLdIPy+DpT/gw8T5I1RMn/jMVK1qn5hz5Zy3VdXjrjPmgtrAfVAphzQEfK5QG1I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778681939

%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

