tag name | V8.14+alpha (e665186b322b95bcc763746ed9e834d3a96bfa5f) |
tag date | 2020-11-23 15:32:05 (GMT) |
tagged by | Enrico Tassi <Enrico.Tassi@Inria.fr> |
tagged object | commit 7c6ebabaa4... |
download | coq-8.14+alpha.zip coq-8.14+alpha.tar.gz coq-8.14+alpha.tar.bz2 |
---|
first commit after v8.13 branch
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEwRpQU1aafIwXWOMRJQUzzKKbdk8FAl+71gAACgkQJQUzzKKb
dk/MIw/9GNCSHBIdVTPSFx2PoWSQ4kYhWO7l7bYoxGMrfcBs0FclK8r4kSDTs43H
8NUBCgFVxSqpbFjIsfasbOgNiPgWIDqOdhKUQ8/G7S0XXlCXzwUXORIJwhVPnIfB
AZBwSWOJwbIgjIyhlRp9OoRdnlrx8eaR1lGQj7Kz2W4Jh0jqkyGxIZQaaNELTT0g
GErX2mPDlUd9Pi9vfTajL9kenxQ1RpK+mFcTHhatFBOO2IkrI8jQInJAF9k36TMX
wM0p+N2oNa+3SqBQ0F1O41LObpKg2yunk2ZJ9NcHqGDzoiY1EkTCWr7W6W4KqiJp
ijDGC07CBLwQD4zV5KpxWBbp1xfJpGVzZ5i1fteV+45JvbCpYbihk0nxMMxQZv/r
05j9PHAeeyJ2DBGLksJ7RTWKdBSoPt5loTWIRQjthaTeRmMXE3C+KecqRVCE/zLa
/79iNIJnCQCCAcETUpZXbwoxTINYTsxEjbX415C8YMMNXCuOi1r+Ia2ZU9JXt5GK
ogbCWJntW79fNe57OoQSBut7XFcmQnQvOLbxwGgYnMpplFMDbZUFXdIi2wwgX9Cn
WMYZn20Y5S6T3Qb70OUe5wPagc1IvKsPpkHohySf6/pOpYFORvKYg4WLjjTHLw1t
K52mzVhvVmRbCMvOllgJBxn+7UBUwL3bSpKAKCAb0XG3kAofCg4=
=kTq4
-----END PGP SIGNATURE-----