tag name | V8.9+beta1 (284da7e1a19c3efbb7baf8543d12cfaa51c3d714) |
tag date | 2018-10-31 12:56:36 (GMT) |
tagged by | Guillaume Melquiond <guillaume.melquiond@inria.fr> |
tagged object | commit 46deca3009... |
download | coq-8.9+beta1.zip coq-8.9+beta1.tar.gz coq-8.9+beta1.tar.bz2 |
---|
Version 8.9+beta1 of Coq
-----BEGIN PGP SIGNATURE-----
iQFRBAABCgA7FiEE1r5hQpcyzUOr/9j2IKmANE4xhDUFAlvZposdHGd1aWxsYXVt
ZS5tZWxxdWlvbmRAaW5yaWEuZnIACgkQIKmANE4xhDWgvwf+JVbNA+qN/YTbFTka
D7K+XuLtTsXeEmCUmpoUhZrzKC5cVlTxQggvF+F3kMDEOEtpvfyNBZifAfzzZniM
P8J1O9ZMPe8jKZXo3ONMHYXvhgjiSQ0gazLJ0JyDJlks1P97H6jP46H9ursIu2QX
ieQrF8gbC+j/SmkA9t5AjGXpVbWvIzCWvh3+Xod7L1l6XkbYJZpPE4frLXN6BYCD
52hv2btBx64UZiJnh6y6ZSQwZhSpImmhVh/BWvzVOMm4+PHjLwra/gl2bYzuU8v1
9UJxxgpk4g38EE92tTmwpuGxX+BPYYtCjUU0TjiP4psmgVZBK9nuXVyffGYfP52H
VhrzYA==
=3ex9
-----END PGP SIGNATURE-----