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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-37

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

%CSIZE%
42049

%ISIZE%
170584

%SHA256SUM%
0165a47b9d766c45c3848bd96d037d3d49ec5bb07fc611e5b9b46f7e54305232

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTGp8ACgkQeGxj8zDXy5JNYw/8C2KdgbsGL+oIxLvWO+cCFThewGMQ6speNSB9raLQh6JxHwnWdppz/h4zAXWAAs346RGSJNqos23yIE0lXiGe5jZ0YdW9rmPyrlxpjfDK4cFHGiSD7SIX3L3pdtcrxWD6eFy+2W4jmYohhDKhZCvRIdbOF9/8/pKE+jPlrvGmDhqTz0UCETlxfe8gfW6Fu+EO0GQ/jQq1Nv3HdU/Z2t6lVvmlgmcI7s00SnTVC5kdg2FvRblth3/m+lNGvgBehBWUfaz9uMSZ8rq+jw96KnvBk3kTPGRi4kmSkP2cnYLyr5y6st79NvI1AtspUq11jX/wa588/w3Ab6vHYAwgrchS8DkBTLtEpmZTv3ypL9dKKW4BvmsRzrf+SSZlBS/m2xKdUIVfH7nU77WU+9RH/obj8VqGKVkLR3qBMOwr5KXkqFosPh1Szwm7+nTOEvVE4oqKx+/Cevgc0hXgR9Q3ogIcOD+6diBnL+RgysieCrfXU9FqdsOpOMpyax1MSCZw/qRe/3hZbtlfbdZvxQGMNGcxNP7k+80v9ykmbzTIduuXKLubkHJq+S9YhtK6SxAmHiw7ogmiPIMIKqP9IqVheqXHyErYYF9SShrX8UsAPjJACYpnjeDgUGoMIY492dl0EAjvtK9V1ZJ0Xod3CbZiOgkptwe92/0dUoc88MFThLg0Mdk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779636873

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

%MAKEDEPENDS%
ghc
uusi

