| tag name | V8.19.1 (b325b1d33027c57af5bf66032802139cdab1ff78) |
| tag date | 2024-03-04 12:53:31 (GMT) |
| tagged by | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> |
| tagged object | commit 8152d125ab... |
| download | coq-8.19.1.zip coq-8.19.1.tar.gz coq-8.19.1.tar.bz2 |
|---|
Coq 8.19.1
-----BEGIN PGP SIGNATURE-----
iQJSBAABCgA8FiEE0dEZ6xhKalx0XRhShYW+XmxXyAYFAmXlxFUeHGdhZXRhbi5n
aWxiZXJ0QHNreXNraW1tZXIubmV0AAoJEIWFvl5sV8gGYV0QAM38/pq2ilhy0s4z
7+pS+BHQuf8IDfUOTP10jBbpX4EoCQ5HnA3VITNOfkkrhzAYofcgKDTCkih9K6Nh
+esMTZ54IuCfL4NtuK+U4JTuub404tX81Usg9WNR07nRZCCwruSLJVLHP/0EnjKD
GP3Nt0xZnKSyNXazshZ1lNppaRT/L3NSUWXX5eTXjU61gd2LkiIDCw+/UW2fgQxD
fpmf5NUooE5vzW7ukzfLpbQLPBGmGbLrq84HZkOL2GafFHuMwFaPteUORPWAnIVl
ZPgsvcU0+cd2n1wI1ZFUtUbf8QhyyfxfhymQoTwW0aNAXW6YMn7yCjaHs0W/uDni
Sb+ypbA0HGdoC6WDVR3Bg9HsH22+8Y6EQRhPRKAHaQ7BvbCNP0D+kQHd1XdBINx1
6jnOtB8t5Ee2PBSn/8rxpqo9Tvg9sIzrhv+KThCOKBL3rHAjZuj+rZ2eY1mCWahm
KkXMO8OIgKA2c1vmpVKf5iyOcO1k+p48812gO1vaoTYwBNevuVq8Ibb7i0/WR+o1
X4ZE8lF+hpukaVZaukre37ysdvoxU7e5Hm5GRiouGw/tp4QYmB42Nu/izieQR4eU
8dEvpGn7pKzDBS+SuVpBkYqnMzbbacBf60wmbLqqGx57VtWXCRfysB4e5pAPmXT3
aiCai4XkXvTDqOjwIhbSXmEscXBc
=Po/n
-----END PGP SIGNATURE-----