| tag name | debian/8.4pl3dfsg-1 (2b3c523084a1ccab7f2869efb627785c9c573fc9) |
| tag date | 2014-01-19 17:31:46 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 100dfc287a... |
coq Debian release 8.4pl3dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJS2/3yAAoJEHhT2k1JiBrTAU8P/0sHdn3TUERtU/Z7Hl9ABIZj
ZT0Z3sMNVfTuGuu9meH2O6X0ecGoAVvc+OKPyvuyEYlNazKwsdw14gEjfv9LFFlA
bLAPJUxrVvCQ+BDLwTYwXtbOMHfjZEf7Br1wGUqFcgfeacrXysrp8QFInA996yMH
qLqUGPSKh3wPeR/HOnlNpdIU4vzErViHht6nVz75juO2lr/hy5SIjCLQXC1Z9LZP
dVoQaY8rpslQH57xhIWFx+rBt59j3cQrMUW7q24oqtVCzYJApTbB3sfpnYLZKDC5
EIjdwVfblPJj97TSy94lL6ZHk8Zf3F9Lbkbr4eeMiWrsBYnFokFQuRSf1n/Ypnrf
UjjdFxQyhdsthOk93AectIw7grSDSqHCX5GGAkli+deirlJlXfmnjeRSP0ybC8nU
6N+3P5OVTfEPeQT15N03eVmAhTXn++QNgHnQEJaM9Aean/6oALRAoIucoawUaBYA
xGeyUyNDlf4kxJJ1XrraqU19tFmjE3DqGlH3BVfqozJHKwpmCf4eww+byUbjw4Og
R2AeApZlAV5QpPgtG2SUIMvjUFwzvO1xumUb+N413XnESUDuhQ0e2mD8I2/8rd6u
BvORph/Rs5sE9b9+gmWTTr3Z7qeaKLbbuiN+zlth+n4L4pJ2P9TbKCEdgWkAOGpN
Pho4wSvdXIDsCn2U0yGe
=sOtW
-----END PGP SIGNATURE-----