| tag name | V8.7+beta1 (169afbbc9c560ea3d2fa63a421a639cf59e4cfb5) |
| tag date | 2017-09-01 09:10:02 (GMT) |
| tagged by | Maxime Dénès <mail@maximedenes.fr> |
| tagged object | commit bf128a4206... |
| download | coq-8.7+beta1.zip coq-8.7+beta1.tar.gz coq-8.7+beta1.tar.bz2 |
|---|
Version 8.7+beta1
-----BEGIN PGP SIGNATURE-----
iQFIBAABCAAyFiEED6gLZImtWv0Cfj5r/Tcz35cF5p4FAlmpI+oUHG1haWxAbWF4
aW1lZGVuZXMuZnIACgkQ/Tcz35cF5p56oQf+JC0Qq2JBmFNT4LMhTwt2xC2EowOK
xI4ICiQp6BMk/jOMrL5x30HsUm4SBUeFTrzHhXMtjLYv9kR5aobi54OOH1IHRjtm
DPZHPAd9aWt/ABflY2ZH+FbrMdi0kl5sFo+CyFI7w2QqYcgid00dkDLcs6F2Feor
WiTp6NACxeN56Eh0f6mN6O+XpxBcPYubUlavasOX/ToqbE/FmYTPXqOY6gXkguID
Uws/Bb6Fq2K16fqLdS4Ko6ryUFQxSNpSf7iuBwiWEXN3nKyTU1DJq6zqfaXdIduk
8Wq7e0WRJ1wQaaF/ZeipJpUPvP3WzIC7SgkzmtTwQNIQEOC8GkNyxxUZew==
=9I6e
-----END PGP SIGNATURE-----