| tag name | debian/8.4pl2dfsg-2 (aaa555d4087a8657ba8b23260398ecf312b824ac) |
| tag date | 2013-07-26 15:01:17 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 505d907f14... |
coq Debian release 8.4pl2dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAABCgAGBQJR8nMdAAoJEHhT2k1JiBrTY1gP+QHoEj2vx7AEAzkzsELJfdhF
2uMrtLrwC9unfntxP/lXI7oAeQWBRgfJJue5w7xZeJdijF8gvx5oie1xtY2P/2eL
a+V5lCKymtkJzKKQYFIHepVs8CWCFIq+jGSYFGcsMyj50ZjpGwsdHvvogbLum7wf
S35jXDdWz2bk+u8QnK6zJ5Wpwsbl2DGiBaE3Xcdw+VHum0HXapEpW6wFUa0gHduB
lXycahB0k0Vop6mecwMRUU1IvEx9zYo5H/Xc7+KYAPpVUNOWYnfTpjcynQJe1YnG
kyPxCrqsm6MT+pxcJYr2FM6SpL1XoMMH31bBfw4lnsvgAZlN6QWlvqm+LQG3dkaq
rpR2m23y0Jeh4agsaDx6QZ6e5+oQlwhrXFIUM55WYFnMr51P5xADz3mdMuY0seZI
aHY/FrXnGSSDrknSB1eBz1n0z3RTbZwoy3SvyQtLnnfJw+BOLqYM6cufthCOsCY1
rXMhSBNAmyf8SE3qs7X0KyBHzscjCts706fHeCRE10qKEOtMsydrQtIw/EVeob09
uf2xw/ZripnUutXczMISZgnmtiv83kGM+mGEUsKj4poSBO8TnyWIGX2e3xudapK0
X96hK04+Db5CEkvbvcR/fJP+Wkj1OXuZ1RVNXfCCy2h8HfCLwh39Uo/1FSdqBSia
cJZQ2yphVrYAsRPnf7QC
=PtWl
-----END PGP SIGNATURE-----