-----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-----
