tag name | V8.16.0 (c118c004d49090c8171a26b4fe7f29d3b219571f) |
tag date | 2022-09-05 11:40:11 (GMT) |
tagged by | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> |
tagged object | commit 146ae2f3c0... |
download | coq-8.16.0.zip coq-8.16.0.tar.gz coq-8.16.0.tar.bz2 |
---|
Release 8.16.0.
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmMV4CAACgkQeSLAH9m6
PHvEaw/+Kjl7iXtGI9chCVcaroF7/ThB/k4DoRmC92SAdDUgWykGMMKNUwsmpWjn
UZy+6TdJD2bRT+fo2PqgKfTd/a4xaDLq7tCWLqwK/Ygco8YLTVcuCDVSrQP0xwoO
S0Vbt+4Dz1OrEMatjtR7hqKRYm9lNXYvCylxpWRi69AV1fj5ktoqKSQDdYmcmGVa
IGypMDHbsOEGeFuiP9QcysyuJu5RK7CQQKLBkqG6L0JHEV/c37ocDVkHnhOCRrfN
D6AXuXvFKMl4CN6PAlNHDi5X2MyjsH80ZFbfUhEEEiyUrnhqSFFhfLs5gN4flPmH
V0eKVUKKNl0qqQebvzbvWzcb3fgxkkJ0c5uwko0Uu9kq4UptA3/J/b+pkc/HuCpl
zEjtRcdVQNHyxw5J1zIwyx6N1mTkaqk31bpZUlUUR0Jo8+r05KpPBKG0eHh116fm
6hPvqL5kJiGAlRIFfdqSyYZgUb9v24DU8ays2zWeO4D6aTnCLzhazvDx41yvyuCt
7Ip5bd3mF6enBmpzXSZ0zXUIiyKxDgyxYaQP0JPTXDJQwabhwzzr/Iou1XRa3pHA
L6VQIZgnVR9qVIYLinPiVd9UYtW+gNS8+NEIwlGbqlf8NEVx0Gf27biyJl9kOPey
9IQHya3pV43jWpgfjK8s+P3wLB7RRl8n8YbtsBhrFR7ehhv4jko=
=qae/
-----END PGP SIGNATURE-----