Karl Palmskog (Jun 23 2020 at 11:19): Karl Palmskog (Jun 23 2020 at 11:19):@Erik Martin-Dorel The 8.12 beta is out since a little while in OPAM core-dev, do you plan to (or have you already) updated coq:8.12 to use this?
Erik Martin-Dorel (Jun 23 2020 at 11:28):Hi @Karl Palmskog, yes this is already the case:
Erik Martin-Dorel (Jun 23 2020 at 11:28):But maybe there will be a beta2 (?)
Karl Palmskog (Jun 23 2020 at 11:29):right, I will ping you in the opam-archive PR if/when I package that
Karl Palmskog (Jun 23 2020 at 11:30):the beta interest is not huge it seems, but it helps a ton to have the 8.12 image to migrate CI for projects
Last updated: Apr 19 2024 at 10:02 UTC