Re: update math/coq

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

> On Fri, Aug 30, 2019 at 10:01:59AM +0200, Christopher Zimmermann wrote:
........
> > I'd like to update math/coq to 8.10+beta2. Which is needed to support
> > OCaml 4.08. The only user of coq is lang/compcert and was already
> > updated to support Coq 8.10 and OCaml 4.08.
> > When this update and the devel/frama-c update are committed the OCaml
> > 4.08 update can go in. Tested on amd64 with and without nativecode. OKs?

OK!

-- yozo.


-----BEGIN PGP SIGNATURE-----

iQJJBAEBCgAzFiEEsSBE3BD3oI0EPJSvM6KY3A5GNSgFAl1qjogVHHlvem9AdjAw
Ny52YWlvLm5lLmpwAAoJEDOimNwORjUoA/0P/AhMya6BEAXObFqgozsFMdwXAJiI
tWtSMTkvPcTOQRqOT4bfxmNf2t9cM0qIvykF7Pt0yuiHBD+fOhQzq+Rf39R6pCrT
+tT5p7jCY1s//yL31YadJZsGUGwKcHV1gvWnYzR6wAGa723jRCrjD+iGgvOidQQ8
+4iJp+vTI901h5vfSI9UU1YdjDhATBx31xpNUraNctJhzRDsjwCWgQtPw+nTrAaS
oaiJIHDyml5FpiL+Iw6FJ4daPsLNTz609T8W5aCRwxhd+Nf0VeXWJMDt8ouoEJUP
/iSDMIsyxHwjcTMwYp9wymXlb/tVyTZnsHf5BSXv3OId3rop2sxPdp3RhMlRPHvJ
gqLNdZECHGOCdMxKHUCTr4sKD7yST3LW2DP39Crx9NCIrs9WIkDXPQfrMD04Kr0n
HDhAvscisPnwRKEap13zs3lPjbpLUCZcHvBEuNOIg2CQ90jglroqvHaEEaXuA9WV
3+JdE+Oy929p1N/BE9jRNmIiViAVnc+f+ZZgE2eH0lI0dX1IEAIuTl/8CPBV3Xfb
fXS29+ZPmJ/MMsIHb4nwtc3TpIOR+iiSRdaATNMfVnQi/2OMRnvY6Nb9cPJX5SvC
YncYs1+O5gyCgCgUcl3+DHpntsOAO7k81jKd0zmUKw8iTUFPz8azoyAOJy4eGY0h
JBiE37xRK1Pva5n/
=bKPP
-----END PGP SIGNATURE-----