%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-88-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-88

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

%CSIZE%
202250

%ISIZE%
1156962

%SHA256SUM%
4783e1e1d88dd4002594c85eabf3521c6760c927ab98a4db81f85f62b9b7f1db

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMoqYACgkQeGxj8zDXy5JRDhAAiG7+f2HOIjUyIBVVHN3ilEUOiZB8zhNFh+TOm4UeVhOJObGElatVX0Uwf0+rCOsiQY/WxMb4Ohls1H3gH5TjzIG+9+nUH96x9s3LF7/oruN7sHFR5SBzr2FBemuUAjMK7FE5Y6XV/+9xcM0PlT2GqzNOaMrh2x5Bd+oSYIuH4gn19MGlznRHLmdStfpJnKFsNX04tp6lYjDNSLHr/o9YVLtZjFDhPaM5sVsnffzCSpnMy4b8Pjg7BdxDrhzJZkcM57hHAEbBYcJu4oJqU96rhGMvobIbVMw+x7IDd8MwR2ObQmF9kjYHhdbMZTt/4yFt0awVcW866/aoiYy8FB6Ng1h4lcYKjdWvb4WfAg+XS4ljkG6zntIapf8z8WuZ9wOvgk19Ybn3wBCQuIikhl3+bdoG4NVl5W2rUU6/mYgKclofnqfMsLl3MCwwK9E7yYXhQJzltXD51tKpbu9VZDsDdWYJwS0XaybIljunUNFrqc8bXK/sCKavxLCRX3UHW1Gu8zq0JCYZvejeFahqg62Ik3pxnydpnwHN+0rJAVsZl5qzQGRZ1rd3DJ1bJA8pqDMgeWwr3bb11tBUkEydO8aY4oCcwV27//GtrN60xGwkwAJNHgMqfoqZx2frd9il0DmjgxZfX1O0cjhI9o9dY5CKq/axAH69O0NCQHgI51zM01Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791795825

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

%MAKEDEPENDS%
ghc

