| tag name | debian/8.4pl4dfsg-1 (3b33adf2b0210f4484d3e56f8de1694d5057d222) |
| tag date | 2014-07-27 17:25:54 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 476d60ef0f... |
coq Debian release 8.4pl4dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJT1RoCAAoJEHhT2k1JiBrTJ7MQAJSmgFfiqfQsazicfLWO39g8
hW68WTu5Rm6um0p5sDymXpHoz0K8pBLQfcwspc5RcVbHSFU/NYtEXy2Tg+3+6T/9
6kpwGC8l+d0VE504D3XKOd1kclB/JRFJ7qWZkVQ0UkaW6se8DAROdLTM8DUC9RtA
+Zo2Brt7Q5IrkXVqskC5Nxc/GD4ecVNbnUSDMBnJIurz4BxD8m9M/biOpTL8umcD
FQDhclhKl3AL/IbvJyhP5P7ZRYXUqfrGzOLezdfX5kQlygJTVIXcScVvQE3iBzuH
ElT9sG1kvY1zat9z8gBe5cd/3V4AooBrsz2MpXgvh7mjCVxs08a57vC2L73nrKFV
TmAWZIYNAF+Zho3ILT9SPl0b+cEosHLlAnyGpaWLAwaJoP8kZGcrF0Zbk2K2Il+v
pQbCk+OsIpts4v6ATTa75C97M5YDC9lryEcr/iFnUzG0f5MlYa4nWPLc4m5Jzn4P
ew5GbksD2R2DLAf6IaJhTI7mixJjtAJN/KpF95J0TdMtOBplAEIZYw7O+9LthstK
P1Pd/yHeipCuMUup0QO9MgAKSyL/loH7Q9q0eTLTvpqMh3IN0jgzUMKsbc9XoIDi
YnmnYKSWloFWN7aGIVMBbEAu/7tSyPkYlEh8X+VMyJ9IU8TBDR4QiaoaOXss77lG
nncuY9wc0WtO0j+OD7DL
=3lMM
-----END PGP SIGNATURE-----