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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-31

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41292

%ISIZE%
163720

%SHA256SUM%
d2de3fdbbb3e8c9245612cec036f85d057ed7b70d309741b5bec750f540f5641

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoAvRIACgkQeGxj8zDXy5IgfA//ZiPIjRM2Y3bPKZ1tjrQvg1wrsubkqs/zoUEzVU+GNNfglADmeA5voxf6HMYPbDD6qafmKX/+uiHDA/mESaqu3ZEQhLAiWbKQpJYx8pNf9aL+9rla2t+5VU/IcdOCcRqey1pZZf4QoUYko7nG2+QtmPdpwWuCvmNWSnPqbKbVPAbyU3ruHa5gkprwkpPxMkGSOzB11gP+uyGUtlMiHqHlwDVHnAn1lmCT4udncbtopWIU+qS3EWR3A95/v14nGk+8zJM/L5/4HN0vl1CYZSPz72nWXW7mprGwgw0+elCHeFLMXWoqlC8IgI7jNe+Cl/1o9V2DuYCbP18ymul+Udp2y1ZHUOjW16l7rgjzVGE8EgWS6aqXZDBp03secq02joKMa/PlV/Ur0Ro2bfHJwLNtS1skNqmJG5E6U5kd1DSgeq6r3d/S96PEW0xK7vemYtbpj0JqOhF2H3fVsUCTF0T8l/b9ZEUllfx8R2QkdoqDKDZpyXgzVoHBl10YQHX7hUhX7jcMDTIKab5Yyv+9ITKqcUlRxLiahIm0Uu8IFMFs5gkC6MLJNUKubAFxiC/SY4ym+M1iHFpQVMSFIDlHv+Ka08S9X+Q/B8eGzPfQGPLWAY/bAMBCTSx2LOepC7cWoUujo6TbQ3R0Ligw+xGYSEjkhaF9C2fUVJWuJt2ug6Ivu3g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778433260

%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

