| tag name | debian/8.9.0-1 (a8e49c75ac9c50bd0f6efb15d157c02bce7a267d) |
| tag date | 2019-02-06 16:08:36 -0500 |
| tagged by |  Benjamin Barenblat <bbaren@debian.org> |
| tagged object | commit a7783b2b7b... |
coq Debian release 8.9.0-1
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxbTNUACgkQ5ZUVm53A
7cOI1BAAl5fI2mplLSmzsDrzxSkIac1RzuDoGOHrzaA61/2A3y609PEDONwtf9jf
rlVwZhJoOt0LymV8Nq5zK9TpBsGKa/AXbtYWO2Mz0VPC7D07jfcP78klZ6GySKpF
plySoMBPfq3JcLxlfBsI8hYm9ZtvBArWetg8a2YdyBLnFl92cdTs+tqqEHGYHc0S
ih3fM0s37q2WpAfuDKmUhdlm0+p7oK+tfExVv2bmCOGLKxYRU+ar2re4602b38kc
I9qUqbQTPQ2HwLPUUeZrDvjvE/kTHwYekwG6nLtMQA+w7L1Ykg83qROulZOGxxpH
aRqk77Ci+0oia8qxJNixFbP4vPeImK8kWs2ZIhNcLApfBEjat2vkuhRgw8oMHTf7
QYKljbud+8VgRyKqMnNhzktyWY7/nGTOWvo3i9KQg3qy6cIDiCLU1vxMVyLQs3Mo
q85Gn7P8xld7nlIzHd0ZHFrgedkSJSK5pxcsakwPHGvL68vXT7RzOCorIxtraxFn
hhDWtXy3wjoprFK8+hN1iepfcfAwr0TS7995VmIGdcHM2qrxeKHKC+l4SqvcVFOb
KN234DI14Qvn6vmuXEpvALm3UiP7Gl/radbqHeHVHVoAtn9qgOcsVhHKxzlYeIfz
rWInHvC1sIOoxfHSjd43sd/4qyMwq8BbBITIEZFf7tYpAYOYXcI=
=5eQM
-----END PGP SIGNATURE-----