tag name | V8.10+beta3 (4d70d34715968aece4d0ac50d50b9688a42853fd) |
tag date | 2019-09-16 06:46:34 (GMT) |
tagged by | Vincent Laporte <Vincent.Laporte@fondation-inria.fr> |
tagged object | commit 625050310a... |
download | coq-8.10+beta3.zip coq-8.10+beta3.tar.gz coq-8.10+beta3.tar.bz2 |
---|
Coq version 8.10+β3
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEEuByl6Mcf83vW+IN69WCrd2x+B8FAl1/MBkACgkQ69WCrd2x
+B95vw//U9HLT09bYHZpIMs++1xk1cytwplFLYF5+pVPjOMBNJo8+A3NIUwwg/vU
yQMixEFgycg4c5M5vpafne6SMP7rwpnDiilgtpvwlCFHNSR7rD8KrkZ9u44OXcHj
kEIaRxkbdXOAWZyrJZNHh7sDiYIbkuPgJGZmJk3G/TnI+C+Xj+kL1YDRdMk/vOm4
cn0TDkekA11xl9HqDNpXBB8eUSWAyq2uJqf8PGrblqfvOAO0zm7SjL7gl91+BUwK
0priyOvxzoq6i04kCC6HJs+nSLeGhy6C8qGHCAWnuIeH3n+ylrQHe46VFbGObCrA
K0/9STyCOOCP4KG92XlQTmT38qgAyj/OmwIjmfvjIXsswC4BQy+A/PpaXDMehob2
Qz22dXVZFB46mLE3Hcd9Ishawzm5GFa5cVj5on8j5BVcfTRidBGXyH2f6rzyPi/W
VPAVhF9A1gMe8/Agme0O0s/h2SlYtH7B/Rl3fs4E96YPvthXj8QofU1mJ/011mlp
fLMayEl6QWdahoX7mEU+ixyTd08wZkTCNYXSi1zNhXlg8orIdEXvov3jToSXwOJa
DEfm/nkYf5dJGtwJaxzXcMX5NzIBdQYwLha9dJzGZ+fknkB23mWQqCXkzCL40kgc
9/qX42zaZ9ypybHyqk+aBF9c1hViK2RiTv5aCsgzvHDVSA6egmI=
=g1QY
-----END PGP SIGNATURE-----