| tag name | V8.13.0 (aac22b4d8d481f8da2e043fa3655f97ce77250da) |
| tag date | 2021-01-07 09:31:35 (GMT) |
| tagged by | Enrico Tassi <Enrico.Tassi@Inria.fr> |
| tagged object | commit 5f99fa0c23... |
| download | coq-8.13.0.zip coq-8.13.0.tar.gz coq-8.13.0.tar.bz2 |
|---|
The Coq proof assistant, version 8.13.0.
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEwRpQU1aafIwXWOMRJQUzzKKbdk8FAl/21P4ACgkQJQUzzKKb
dk+K/w//YHmqlOCQBzx+hooAhCV+6ONf88MXo+ijKSHxpftGKV7Jat/BLmeQFHzc
wxGyMvQZT8GdPz1iKlyURAx1LCS74A6PhB4hMYr4jvc01nFvE2ljeVIv0k4UdV/x
29zSVbnsjHbm4n3S0/psNKK037Q5FK/FJLyK6N5lS4hPPZEplCKsA0arPHsezlQK
UQ86Y1zcq/WvHZ5j5czMLyBJrlEHGYhKVPWtJEj10JohthskIUmjKyTNjZH3TC3d
LXkb7tqPVgw8qicvg0JU/s+4mIgOshayikMWL0osxjRTkSRimw7sSlVMSnz7cHYU
N5gGgSxDXEQPOmGvlReujf2/cRxBPlf+CZWzD7d8NbkMPXLA9GXuRJ8u3OGHFRYk
g0tMLAy40qvtBDRqomrqke2uv5qUzdbsFposryRgDboAuoZYirCtVYvdGaCwHwoc
7cfER8uRnA/6jCR8dPPJLo7D+n2G7D95zNqA4DpY4Z44RxzcIPZkruhfKyFnOiMP
oi/27adSNVQ7oF2GY8cS97OZRwwqGEYD84cGCN0Z6uAE5Qe5O2A4NeNNKANEJ6HL
TkSsQnnflcNNuWZ/cL18SsRZRHPT+5adS3Hhqukub1S4vfvR80vayZ7k3DsdjKos
VDyIJsZ7wo2tm7FgJ3LIYlQcsD0V4c7Qoeyxam1XasDr8248sIc=
=A2m1
-----END PGP SIGNATURE-----