Re: State of ocamlgraph
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.
Reply to: