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

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-63

%DESC%
Detached debugging symbols for haskell-tamarin-prover-accountability

%CSIZE%
42055

%ISIZE%
170216

%SHA256SUM%
487206c3b176a3cd195fc35703c08dcc3e659a77bd8e4335d494627f6fce3aeb

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4AgACgkQrx0hme8KPM8JNw//cLrw+ADJe76K18cB+kF1y7JsS+jXsxES4UPfEsGVICABWNqDM7OiSh80YvDignNe6AZeD685PwMGIfMINeT+tEB0OSr6vfkRQU5nbBz4FPZG6wJcA+oeRzKlDJ619reHLQOM26EY8+rMFFZW/gs5+yMUKoWMw0d3ssL/lyvYXbw/LKpGbx6FOFdxO0XJsCA+qtm/2KJY0eWLTbH6qZAKmRLfidz5BaQiGAzltlbdBeBDAJOiqkbX2vbgF8nFVpSI9KxMvCYQB99M7l96UQMKtAOpUjCzXsgV5rYutjy3aQfNFRHtxdXF/nUgJO1mxf3y94nHjiU6RUO/8k/SvkX+fVw/lCw4oWoAXr8ZLIknOzRtI8UZCaF7xgYp4fbMIiG1n106VhR8jQUlEmmIinK5s87NP38xGGayJONlfPDTmEEe+qgbBbQctk5SPPB2FsA0oG1vEXCivKE422SClyvuie0Ohb9KtuMuqeP25ICTLWLHisMaHgnCISRBxcdHgkjqn04oGmEParJp2DGbB9RRvinrtUW9CeVLqKGNekLz61KhjLjVRJP4PWVdivsyumkQCs1yQT9Y/0AK+hHLmTtpUIjUuOEZQo0qONcwYiL4nDOU5C9+iwkGNo9C93KR3TFDBDGoXnDFuJRdWMLs6mjedwxEWusmVBJxSNpJcGGAtxw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045925

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi

