tag name | V8.10.0 (2cb32c5ea29d01c32ce5538dfdd7f24494cd3379) |
tag date | 2019-10-07 11:56:57 (GMT) |
tagged by | Vincent Laporte <Vincent.Laporte@fondation-inria.fr> |
tagged object | commit ff36cee82a... |
download | coq-8.10.0.zip coq-8.10.0.tar.gz coq-8.10.0.tar.bz2 |
---|
Coq 8.10.0
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEEuByl6Mcf83vW+IN69WCrd2x+B8FAl2bKCIACgkQ69WCrd2x
+B/9BQ//Vs63zcdpH4FoCbEfzEv+nf/f3Jjl1v/OiKanOWV79IrNW09klj1zfVa2
G++Q6ClxLAoIgP5ABsgAinasww2wvtSz+pUHN6Klx0n8aDgAXILjwBgGKXukLZTS
U1YxQfYAWA7pBUPNsOTO2TO3lMFnJwauLhP1RFJcYTPOL/zexzQQMHkuz3kWB7lQ
puBtvsSjjvzSYlaaLg7nn35FTt+axn820Gco7Pf8CEPoE1YJFiqDMyVbINN7rhK6
48KAzZUhMB5v+AmyU4W72RP/wjTZhFqX2awoDZmDIyIMpFuZZBMQtFiYfKldIlEa
C9eHXJxBHIu62esp+DO+3Bzv0zw4Xzkvf41XtaE7s/vaHOKeXeOJxdc2lZgM4Csx
m4bJrzK3AszATXbMF3aIwRY7LI2+VsYseriSGFFqB/ma094Uk7nPSA4mgpxqooHf
t6nWKf0F1SWIuvftGfdszb7mHvt7kRXzc6R43ijQ9EpDwhH0ydfy9ptCpN5IZSy9
Uv1W2+mj38ORK+z12oGg+G67NQSZFY/iwAgjVVkyMTUMfSp+Bdm/yCnMj21Wxlde
EQgRLwqotpabfMF14nDYNUXRqfdoWbtUzr5mGiZHxlo4Syyj2tLLR3Ed7vsYZ7Eu
YgIcbw7EBl8xLWkBfZEstrM+W4D/MQH7jSttPB5gu1hkQNA0Ghc=
=q5IW
-----END PGP SIGNATURE-----