tag name | V8.19+alpha (15eb7d4134dbcf4998980260362a94ee506b83ed) |
tag date | 2023-06-28 09:20:42 (GMT) |
tagged by | Enrico Tassi <Enrico.Tassi@Inria.fr> |
tagged object | commit 33bf3158e7... |
download | coq-8.19+alpha.zip coq-8.19+alpha.tar.gz coq-8.19+alpha.tar.bz2 |
---|
First commit in master and not in v8.18
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEwRpQU1aafIwXWOMRJQUzzKKbdk8FAmSb+54ACgkQJQUzzKKb
dk8wQw/9ESyhmjQ7UW7KWRqvoL7ql7dTypsAKTek2QlayxA5dMHDVPv+9iQ1yoFy
Yt0T5DCTPGzsF3yacFpDnyW7UV1L7J5Tu3jY52lYx0e5msv+X68djQSheTpq7H/9
ui6MWw5SzQn/9/YS6WB8qPWkpgcX6XDU6646/k/9EzmKE0gCQ7Oh8dl+BDj4z/73
TvdVZzcC1BhXezG9iv6TbXJvYjsDF3dK81n0IsiO7myjiBmLmN6xvG1D5t7qjBG+
nA057sXe6S4OOyIe/SfhGuMAihFRrUCqIF0lqwiDNDeeD6ShDnmxYZ+X/yuHlfyM
KDZdHrcVm3Cc4kxy8P80EgUpOu95WOf48H7v/Q4YWw/V0gnTpny3QmPAkI9iEdGP
rT9/55YmDxeEGD4AJutiXtnrfgSpah9J2t1atHs9ULqitVwd6OeYUdL9ItUWDxHI
8f3G43RsEQaVQNSJbTQazsqrwqIy7k1j1BF9NR9F5dzxc63ov5t0G9Hj0BAnW36w
pVLjSgQD1+7PT0WuxHMy1odi7x8k8X6kgLYYe90Z13XaGZATjuTK6mDM2jOuuHHY
B4KHySqVY3BQRKpWrAV+ayE+ZmQ1bDXduEG+uPKYYz/gigvcmgkEmhONOG01fyEH
a2SplNJyeCIudB/xG51C4Wk6HXXTQ8w0gmVf6sNbzLoGUiwTNOQ=
=XeoO
-----END PGP SIGNATURE-----