tag name | V8.18+alpha (283e6a0805156ccd40f33b8c2df962e3a832cdf8) |
tag date | 2022-11-21 16:41:38 (GMT) |
tagged by | Théo Zimmermann <theo.zimmermann@inria.fr> |
tagged object | commit 41665b9319... |
download | coq-8.18+alpha.zip coq-8.18+alpha.tar.gz coq-8.18+alpha.tar.bz2 |
---|
First commit in master and not in v8.17.
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEkKnyUFyKWZzTYN+P8XRKCUL1NscFAmN7qlcACgkQ8XRKCUL1
NsdnjQ/+JRPI0qguVIDfYZNRG/4jkxutu0dfQBC2T4tbQjO8V6ei/zNnI+ZNlobC
nUG1bLDZ082DxLbCt/ZKeHVjsk5lekKCBOVSaf5stGy3kBM9jgIRkVPrWQkf160/
P2Juge5TVxEDlQtasdTR+9n/n/fsVfPHjQNxABwew05uDtmWtwqkdnWuiPc09jnT
0FxzoK6MONxr5/gvBxaGic5cHRIvNJD+tL87r2Pb+lf0S4Vi5dRuu/psPyo3I+ek
py0DYNVmAuxr6EvbpbeqCzAExWM+QJoFOwCGP88tGEzcWvgMpe+i0a3skStHRY1u
EjvWgFOLwAXdeQaA7rI7OY89651oe6LpEyxEcmX1EXb/R+35b20d3k9mDT+TFAE1
ijJW/yUrm8w4ieHMtrURZ9e1wU/m98a3wjV0qAYLZ1NvnYCafqTjnDe1NdPefcsZ
4XMyNs+RU0ty+lo8qxMk8g8ikDpchjZxFBz7WQ9NJ32fwGs0qFimwrTyzjxAFaai
wH15EIRbqMaFeGLYHmJwSRegGsk7HCX6JR9PPVwvZMtrlbX5pTCW0IyzUcO/uSDE
jQZoFZi2Kmd1TrFeR14qx5hutj+d25/9XoB4VmFfhBH17lzdA37hWR0vayw1FJnZ
Qhv1DBSlZ9pud3CAWOiYt4Ms4sQeJEddo21JUKpeJEFoO7FZF1Q=
=r/IP
-----END PGP SIGNATURE-----