tag name | V8.10+beta2 (c6c3f421e4a4038bc26bea1bb5953143a4475c16) |
tag date | 2019-06-20 07:37:10 (GMT) |
tagged by | Vincent Laporte <Vincent.Laporte@fondation-inria.fr> |
tagged object | commit 234dcc458a... |
download | coq-8.10+beta2.zip coq-8.10+beta2.tar.gz coq-8.10+beta2.tar.bz2 |
---|
Coq version 8.10+β2
-----BEGIN PGP SIGNATURE-----
iQIzBAABCAAdFiEEEuByl6Mcf83vW+IN69WCrd2x+B8FAl0LN74ACgkQ69WCrd2x
+B/QJQ/+OcsFIXnU6jiYbj60SBbjMyK+kxNRYClQgENtUHzDDSk9bpgl9b5Q1eOU
xOqNsV05dz1FPisRAfODp6cOeNrGIB8AHO8tYLtLDVhwfPSqNJWDjjXSqtERGt/m
H+NnAZx5Q20eLtpc2Q6Leiu9sZDsRywgvjL2D37Ej055CtwPHYDl12J8kzIQC7Mc
ezTNqqCVT+vjQACaS/ndU1iolXZpEK4kyJVU5QeQaD+b2hsnx+76SWekQzaNDAmE
5assB4+zfKSDcwOJl1XgYZkPumgttybfksQ1HwK+4FC4R0m/nKKitYNS3yuAMDaW
eR0dClrM3Lb8D+xSFjcHeVpmr2xuVUokGORhCPOb9ndRP7ixPbi/8WnjyZfkIHCg
LwPPjf0D629SlLvPChfH02Qc8QFBoHPZuYTHkTzxs9it2fEH3ZOE7irLAVlH/68Y
RnoPP7LHS+pgSnHjXqk6oKuqIjG10Vq01DomcuV44/i4qsTmRrnj6cg1Hsu74V99
XB8wGkdMa+k7hn4A67udaC4pG60PYBs+7dCkMi26tVWKk7mdu1mtcK6m0QTnbwEi
tuj4eETa2kyBTgtN2Yez7gEvQZIUlMGREU7yd7scYiv7YIfAmGU+rCCxqisPgqPn
TWZ8vqdGAI6TOmmJmRhnvdYimoL7c0tCztGxXk9O7/aqxXAAb/A=
=zfzn
-----END PGP SIGNATURE-----