tag name | V8.15+rc1 (31a6485656aa0a57f3fe5f70882b12b42954e128) |
tag date | 2021-12-07 13:44:03 (GMT) |
tagged by | Gaƫtan Gilbert <gaetan.gilbert@skyskimmer.net> |
tagged object | commit 678a6bc832... |
download | coq-8.15+rc1.zip coq-8.15+rc1.tar.gz coq-8.15+rc1.tar.bz2 |
---|
8.15 release candidate 1
-----BEGIN PGP SIGNATURE-----
iQJSBAABCgA8FiEE0dEZ6xhKalx0XRhShYW+XmxXyAYFAmGvZTkeHGdhZXRhbi5n
aWxiZXJ0QHNreXNraW1tZXIubmV0AAoJEIWFvl5sV8gGx8IP/j2f8hapABXS1HYW
v6HbPZuskFXyKT48fEjsVEELfrhL9AETOVSVEd1NeICsU5zLs4dpJPj3YotVQLo8
ekZv0BJExys7z2hRm5xdDEMk4Cu582wEPhFqGLKTum/jIOT2PBfOwBif//2fTC6u
pp+vj7iETye3xnVh1HKo9+gOJs3Tbab0F6jltviCgJGsVPrc4qprm+6zUdT8ZIQN
FysuVVACt2qjYU5VwZHyvwE9d+PRrWQiZlUTpLZkJ/59Q6kaQQrpVTcAa40l1ZdR
rEWYgOoxGnclMpwGgKyq1Al8O3xMmeoqMhk6y1vmEbuUN+oOQkSDGSiVF8HKu+7G
611LrA35SYfBpQtwrOJRA/YdbTmoF+STnEhGnIv3Et/MF7l5028dbvFnEqFVqN6N
7gZxpuqi2EjhOngh5fLOvfISlpwbEycm8wodTdfJxhmxKQ8lSjkvmmFHLohoONlJ
qAAiFNmZC1+EbkZ1Mzf3XApDnkcOqzcdJSphNOt4ZHCMaVD06Z8zC1LzLx8wEmRI
XHISiuK6LUU+q/Vr9GqpOmW1MyvVSPcSyDwBPVjkaiK1h0hMCnzFVGjLvTO4PV6W
yWtUNwv2qxAl8nD+C2xAT1qJNQThbgGfSw/giEi4QeLTJ6S4XwicfpK4q1Mmf1z0
pfrvZjwFJd/9b3EtClUdU4+SMnbT
=8jj7
-----END PGP SIGNATURE-----