| tag name | debian/8.4pl2dfsg-1 (704c44484fb13f07eb394de7bf1c3d8a7838f7dd) |
| tag date | 2013-05-08 18:38:01 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 794da2871b... |
coq Debian release 8.4pl2dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAABCgAGBQJRin9pAAoJEHhT2k1JiBrT9bcQAJWx4HFV2CJx7zB/HfTatVzq
DS6xtW/835rg6bSBbn3xV5aXedZHsN07SeQ3Iik1XIYElb0pmOyse+9DYh/14K1T
Y/s/TJ45VIN6h/lk2pDAyibNhNtmp/HDWCKZ4NSYaj5QW2/y3YHNLWH6hKLRqcqF
pacehMHnVd/MvhyjOH3PwXhYU6xQEEi6QVBQanIV+W+Ys9XnW6SqQXONvKww6k58
WnB/uwls40d70FME4kr+9o8xKXtC9Bc4Tqe6mAgOZINwyw8jCoLwcO9e1Au3TBGE
zfsj0luZS5UCHIQyzKmYeMy8CHTsau5/X7bfUR3pW5UTkM+fdrildft4pu7RA/rV
W6Xf69D30neBwulwT523rhujrJVgn0CHpXuVkAOOc0emtB8IQqiYJTVSl9OKNGrs
km3+VQA2uaj5t5qQz4AUObBLgQlmkpYDapPZSwKAr0qjNSPl6JWUMujinAQqm5Mo
UrjE8j0f96/A+KnAQYaBfI6K0lboH0VsKbpCFZgVbbFfdB1LYtEdzBjmKUzz1JxL
GZLhXgazIts/lhYoEBJHAd294zJLsmNOJXk4e70n4P93Nac4Q2w1me4G6lJDLbVs
A6vgLK1uN13JMrqlePjh0PSfYYbuuAt/QQH+1k6g+0Ybxxr/NOMkRm2l8ryDLjRb
zLcR3JAGu+yQ+tdwy3uY
=Kdcg
-----END PGP SIGNATURE-----