| tag name | debian/8.4pl4dfsg-2 (c481dc2b1b023b54fa3dc45ff90c3bf12ac53b61) |
| tag date | 2015-10-13 21:54:53 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit ac7d8c9837... |
coq Debian release 8.4pl4dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJWHWGNAAoJEHhT2k1JiBrTU04QALuKlaA2T6K+GFwAGRyHNZFB
z74hADB6iE8z1vhrwql1gCZ1wXijGdLXpZ8ns4stqtUFV/TwtsVqCWEgz2VlfMCS
Wc9VM/XNyh8kCx0+9yuVQlyuXT2gP7K22cPF4QQrwwH8c7nHTWr9acgFoLF4Hrip
+RZirke/ybB8ZlcFnPUuImaXDnl5SXDMICu3Dri8Ea72cRIXCzE8AQ5z1iQ46xZD
zyLGhoi+rpttVmkrlI4FDfyQVpPltRea7ytDymvhTLy8ZVRcoTx+etZl3NvnKVPb
hgtjYuJibhH0jQLJnXpjIA2JqyeyT7nii8liP84IsmQsTvDcAcd97a2UhHaaCUqV
X9NAS2Ho3eEhkd7XP8vsMhL4fc0IDnhFw1l3Ww8GrmrnXsjTuv/k8+gOITyl9x2n
sjeAshKGZtuufbfXCu9WPwVb1pdiYDFpfOjwVBNJWHN9zVxCCqgJwFvEpBa0k4X5
WkaOotStPpWWNJa3ahApZzi5E+BQsPfHQvkOoDztw0wbUfTe5akcZnVDam/VlDGu
FTTDnvTSvUFSbcc8JBxvDJvKLFQj6DR7fvyV3nGd+BnA5qTprNsrvkmlEK/mtM4D
ioFCyW4KiMTyZiN4Tr/TRplyNxQjBLoaO9TWAVWr9rafd7TdsYc37H41ExgECGY4
9OyRf6etfn2af/p/KAGN
=KbOi
-----END PGP SIGNATURE-----