tag name | V8.14+rc1 (db24189de190b9ea6a07ef5f1a50326a516d41ce) |
tag date | 2021-09-17 08:48:28 (GMT) |
tagged by | Guillaume Melquiond <guillaume.melquiond@inria.fr> |
tagged object | commit a05402054f... |
download | coq-8.14+rc1.zip coq-8.14+rc1.tar.gz coq-8.14+rc1.tar.bz2 |
---|
The Coq Proof Assistant, first release candidate of version 8.14.
-----BEGIN PGP SIGNATURE-----
iQFRBAABCAA7FiEE1r5hQpcyzUOr/9j2IKmANE4xhDUFAmFEVmkdHGd1aWxsYXVt
ZS5tZWxxdWlvbmRAaW5yaWEuZnIACgkQIKmANE4xhDXuhgf/Q89ufOYQqvu/ga4K
HRFbtb4anLwwqKMi84ojruZO0gq+uL5OSBiQbcjg9gBZdVJQUPjDyKAaRPMrmh6t
5U89bee+62n9aX8sQ8tiWh3T9rAnfVHfykO9tj4hdxAZClbY3D86RIGHTLpYopgL
/DH75Vty3l4qFdo1yyy30YtyaBYCm65XlQm4S+ffTALYhszkSuwmgSprU5nEHJOv
alVJQFUvpLYYwJ3MCOHkJowa0BHv9wpRaRMutF0NA4pV65WLKEmuZmsE4q1G4NGw
ABcPjolPM5MOgG3PQye3gXOzK9A2h50Ye1oqDXsUaqDlemOQbv0pgkM2pECOGJaM
caJG2A==
=BSjz
-----END PGP SIGNATURE-----