| tag name | debian/8.8.2-1 (bdea05956c3063f2819f478f656f3fd3a8801c4c) |
| tag date | 2019-01-10 12:20:48 -0500 |
| tagged by |  Benjamin Barenblat <bbaren@debian.org> |
| tagged object | commit 11d2b49698... |
coq Debian release 8.8.2-1
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlw3fvAACgkQ5ZUVm53A
7cMQmg//Ztsejjfov1+MncoxC6+zIRYwrh+vjuV2eWXDBv1225M123GYc3CJAkr/
ZGl/o50NO/tMSOO5KhhnO7y7ZaN5rn6zg9mYOZSV9IXBjCEl7vejiCEWw1ODSReZ
M7tmLNhAfJWGbOou2Uh51gl1ZZ/W1esqxHsULWPmBq5z6hH0CXXZPqu66Hm0Jj6h
JPTDAsfWuNtgFj4OUZyW6RfVBoMV7a5jAUqIM+cw5KumrlVtJV6ri8HnTKo0nNhL
x8LgQxREg87ELFOQ7Zb8/R2P0a6FAaLnfxnFW+AjRjDXgkMfivNA/wLBHh7BHl3o
iIdy3EV1/wbD43vonxbGuXW9tHo4lV1rLeHGS9YItp4kPNT5XsHloSZC4wpRbiME
/T++9OGJT+HB17QHjbffrRSUCG7Ubpy9bieOtSo8UgKDdg2tIz6fOt/Zt/3KQKuL
jNmjOovYAVIuIQwaES7UrmG4nIckIfFbC3+lvc0gzeJodAkE5Ge0nDUFGx1VPR2F
yfBwL/YY6mYuaRh3xN7C6bKP3Ihsxv19LLR3ZblAob5XrKWpdMmm10QjwjV9YWVr
bUBuXaJwVngi75oWXw0L5WulLYWhIWOFEI3hlpgChS2ziOo0dPazCfwEX+/sVvht
75VU13HNaypH1ZPyR53IUJ5GcX7dYeLexa9uaxgDn0S695USBrg=
=cAIZ
-----END PGP SIGNATURE-----