| tag name | V8.8.1 (3cb51c1f6d47d1b1dca05d88027c91d4623b201e) |
| tag date | 2018-06-29 07:50:25 (GMT) |
| tagged by | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> |
| tagged object | commit d3af6c84c7... |
| download | coq-8.8.1.zip coq-8.8.1.tar.gz coq-8.8.1.tar.bz2 |
|---|
Version 8.8.1 of the Coq proof assistant.
Includes four critical bug fixes, many other bug fixes,
documentation improvements and user message improvements.
See CHANGES for details.
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEkKnyUFyKWZzTYN+P8XRKCUL1NscFAls15TkACgkQ8XRKCUL1
Nseltw//fGL7HVl7aq3ZpWB62uLO7wIv/EKdoJnnG4I771+RLAL/fZetioFW0of1
A3gJtpYQ5bU9hjhF8NSOI00OUYP9WEv90gx2h2sDuOdX9F1C7r44ul6bUDow844h
xYYBKkIb1ocxE+TNwBJSv22JYjT6KFIp3Cw8yfcky7Fn5gZu7G003RG3qUn0wtp0
f5P6ZktjelDRUVvO031qsios3U7HtS+W7fJoYy0FaOVFwd09b/w4NO6NU12pwNxL
Po3OjCCQvZYGRNnRH2QD2kDb/L72NC75TGWDpoLGx3hl21U84q7WcwiTzluIsOmM
gBVZvdaPatNWsedkw7BUPYM82TKjxubu39cFyhhfvAxuRfCNksgXdXgtwi4iUiyH
QbwK+KufJY1cWjlfMeMDXHmTCsQztmvzjcXlvVv2kgx4Hv8la9/5XbUc+m9uy3gs
PVGLPWCnJuCTByo2F9uDXgh0Gj6nq90cHq3HzUz5Omoe5JmSWl+OOh+wMzmrGlXm
yzk9XWGnglHHU1oB1FDZCtyy6DhjdtfATdLNAh5uqhwj+pRLi7OnUI4si1ozn1Yv
pYHRI2wmGZ9CCW0GY17i0S+llRICUVCetbFJM9FX4TUtCBmCl07bmR5ROLxraXjC
iY6Wh85bVvyxLq9qXd8blNmKUFXOj5n1ULSAhT7rC+yaPWklftE=
=wgzR
-----END PGP SIGNATURE-----