| tag name | debian/8.4pl4dfsg-3 (5fa07be537460e156e7a1012522fb965ddaeaa71) |
| tag date | 2015-10-23 00:36:56 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 01762b591f... |
coq Debian release 8.4pl4dfsg-3
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJWKWUIAAoJEHhT2k1JiBrT+YMP/RE8J1Csl1xTw5G/j+A651IX
/x/G3pJ68u/K88PMj9oeZGdCCVlCcZuLYp1AXgcYwAqjX9WJlGq4lsUX/ThuaNlB
hTMvA99AfQw/jxh8aQVEtv8hN0OUoS60RncdQGNIgJYEFkvhdVd9M9dnfdGPhBO2
ArgWb3blDluzX0Dx4EWqSQer2XYG/4b+k75uTVPPn2i1o/bHAeYooXnrgQjnSgLp
KD6IZlF2qTVDj3JOKBL3XvuYFxjhE7PCIEwFuDNgwD1aq9GekiN8BibGchxDbrMM
OOUdEqVXLf4U5lbVhtI8YhvU5nGnHkzXf0uxZh+xbz2x6NH+Xx/pFo83zC01tAji
SBcQFtOsnnwNlQoECuJDQuWpuF9KM8TqKikSkYCrKbWewO24qZzzui0NkyfF00h1
wcNGcex2LNlcFYM3gw9pWElrWj1e0dwavEcOWIbE5znXRLX4vGm3nZCZWldQReyT
gkzIsX2nfAjBpGhEUsA7uIjTymQ4n3WiIPpUdvP5ufocAVS0YJu81TcSJsYYNLgY
ci2IWljK38KrmjLvyBom0ISwmMQI1Cn8uBBgbMFjiB+D3qr05Odd0COg+Ssks7ZE
/RQwoGiTZ2MFVPBXz8qVwF4igJIP4Ai5qC0jK+xB7Rg4gP5myOL4kNPXqLtJIRi2
8bDI46KTGbZmvhIJwEo+
=SATx
-----END PGP SIGNATURE-----