tag name | V8.10.1 (1d55917581d33f63d3b0b4fab69f152769fa0bea) |
tag date | 2019-10-25 07:37:48 (GMT) |
tagged by | Vincent Laporte <Vincent.Laporte@inria.fr> |
tagged object | commit a9ca2455d8... |
download | coq-8.10.1.zip coq-8.10.1.tar.gz coq-8.10.1.tar.bz2 |
---|
Coq 8.10.1
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEEuByl6Mcf83vW+IN69WCrd2x+B8FAl2yplEACgkQ69WCrd2x
+B+VWw//f9QwsSdDifdDUtwv4ROlMNIUu6G3Ol7USD+sXv4CxYMUJQu05u7YnYo9
NSLjif62ObMv6ZEq2KnBRYddAv2U9SnwKkerDO74XirWuerQRP/tyIP+9QhgpIMR
Amu7FR65+DaT2jPSSOIQRnXBmSS+8y2zsbkts6G0XcbkJhO0R8wNDJZpcJ9WNpjs
5veH+bQNPZqiBiP+C6PaHTPxI3S+2yuub5psnBkkAVF+pJ/JjT+DXE/ppE6zcieg
wjCoZb9r9TIZWlbx1SXyI0k+Qday7kiJrVjx9GlWndnRPPk6ZdoSPKqa7K7SkS0j
o7qJ7X+zOs4OVrjKSwsT0aoyawqQN6Th4yj7o0Gd58BYcaJVfAf8R9nRpQBv/ErS
84EjdXnB8oXXMFyH2hYNWMlJ3VrnkVMqhsvwARv06YqyXrHihPlXy+izZet3ZphU
xZ0uVqEmXTquUnC9TMEQroj5jbob1NbajR6TAOjliSdeGBNDljcHxkoeQA9mhTLE
1sHzIhSyTeCo3GH0So4ChrO9k3PzPSjbOi0h6lmQ0GWudIIZq8rFQLSCq5XXN5yZ
SNBPpduER1ApLuaHatF06PFXCaoUFtuE1VXcFe2BCf4nznNclfare7Bg2+opHHNp
/0PLzfOW8kI7/MHwbepvElbF4ajMaCSYhxksX/BWHe8Ee0/O0DY=
=D90e
-----END PGP SIGNATURE-----