| tag name | V8.17+alpha (0eb5aa3049b230bebaceff273084f3794c83fe14) |
| tag date | 2022-05-27 13:12:57 (GMT) |
| tagged by | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> |
| tagged object | commit 1f6254129b... |
| download | coq-8.17+alpha.zip coq-8.17+alpha.tar.gz coq-8.17+alpha.tar.bz2 |
|---|
V8.17+alpha
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmKQzmYACgkQeSLAH9m6
PHsntQ//RjS78Uu93QTvXXVP8z7RhH3hoS6vyH9+4pVIi7OgYetiXzW+Xh0FkJB5
d0+aBBT7neQW1tWeQ9ebygqP7FDy39CypVhlGKyiunHu128pssbUM67cTgDNeKpm
KlqyWZotKptC0WUeeouQf+RbK6wuZAXxXXteQ5feVx1ppFzcfhAAXOebWLaSVi9R
j6xkq1eMGdc6JNF3aKMUb05qqAJpnodhpuazxwxL7rqiPqJhiBeUSbu8HY48z5ES
ch3FcKWWeWcmUByiSGx68qspzagQGRc/D4Q3RsfnZRbDa/ztHtGBVmurs+LRErPK
oUN09qh5xM3lnyZwkee6THUE0ncM0gTO3nsFk3JbjhdpTuKwvRehJPgHuPQlIW8C
m7IFD/O9vnSL7Yz99melKcqU2J3nZYMXaHNe/Et52dqEBKk7fQYY4boEs16pYsao
Rsvne3bOq74Whrx+Uaycra7/EqSuOlLvcsq9A5IBeHPjZ28zpXs28lKxkCyKh7YD
CeNhBGOAeHVPKFhLGxKr1zOL/E+RYBP97ndcIj77VaOZPimMECRZLZVEWzXKZhTd
WryBGNlmcitdaeuIZzBwZsl7qabSGG7iUPQ2xN9VU+LFd0myWxrrmTRaOIqqeTBt
D/b7fzR+ubIH7DsuER3vk51DsLMNzlYxTkeyf2uW6Tj4+c7KTnk=
=thEW
-----END PGP SIGNATURE-----