On Wed, Dec 15, 2021 at 07:17:15PM +0100, Ralf Treinen wrote: > Salut Stéphane, > > On Wed, Dec 15, 2021 at 06:19:19PM +0100, Stéphane Glondu wrote: > > > I've noticed with my opam monitoring [1] that ocamlgraph is not > > up-to-date in Debian unstable compared to opam (1.8.8 instead of 2.0.0). > > I've seen you've uploaded version 2.0.0 to experimental; are you > > planning to upload it to unstable? When? > > I think one of the reasons why I uploaded only to experimental is that > it was already quite close to the freeze. I think there were also some > packages that didn't compile with ocamlgraph 2.0.0, but I do not > remember which ones. It seems that at least alt-ergo,ben,frama-c,why3.
In fact since the passage to dune, ocamlgraph does no longer produce graph.cmo (https://github.com/backtracking/ocamlgraph/issues/118), which is a problem at least for why3, unless we decide to give up on bytecode since apparently everybody else already has. -Ralf.
