tag name | V8.13+alpha (78cac15527dddd214ec2cf2302ed717acf144280) |
tag date | 2020-05-18 16:01:46 (GMT) |
tagged by | Enrico Tassi <Enrico.Tassi@Inria.fr> |
tagged object | commit f1238742f9... |
download | coq-8.13+alpha.zip coq-8.13+alpha.tar.gz coq-8.13+alpha.tar.bz2 |
---|
First commit after v8.12 branching point.
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEwRpQU1aafIwXWOMRJQUzzKKbdk8FAl7CsX0ACgkQJQUzzKKb
dk95PQ/+JJTZIHa4Pit6GECb+1mX4NHoJjj6Fz3aWIP3Tv5GpZJhUkyUW6XNUioA
6Ykb256lbBwLj1/iuX66w5ojxvZ78GZyq48BBlGdAW03LFzwpLE+XGPxe2TywAfg
cSibBssTa4cjEkaxj5lTM4CVoMyiI2G4ZCA97eSEht07W8TrAHtg9GIhiOoB5uem
mOcskZkxnId3Kuo0rxxdpSc8LDOpND3zLE2jMXb/XE+nFczbBA1U/9Fn/ymVJoSj
ead/JbJelyJUFqmWgew1Ma2HhWzvnbHupHGnmdTaHK41Rv/HPN4+OhYmCEQBAVy1
rt83gP07jOUThn12OGGWPBL3UfVtOgiQxVFQ4LcScsZRz0nQaJmOM9iICjnrkwtv
DIhR7qMAbyVPj4amYZs0Bf8/Zgg1Ij62C4yRa+JuUFZPoaUHoAD25mRfxTM+LNbD
qfOKWl+5oU2cmlMV0sxAa6EItGUhNqXHJlaLJ3b2UYdcdKYQUSe6ZZTNpZgPbp97
5fVz9OQeXzMpjE5lf6/19ZsiXW8t9RndfsJ84Kk2Y81HDVB1WPGtgGydidgHMy9E
ywEezMd7hhEDd+9LyAsHYwTtzA0qZ9KFgZ+KVUD9qLqI9uqHG6EvOaluPQpIFB6m
Bzir5d+zlyyHfX1eOg/fIxTukvOzGz7UVclXQWxEosHJZPQQ+4o=
=MclY
-----END PGP SIGNATURE-----