This bug seems to be triggered by the update of libcamomile-ocaml-dev
in sid to version 1.0.1-3. Buster, however, still has camomile 0.8.5-1.
I just checked that galax 1.1-15 compiles fine on buster.

Hence this bug does not concern the buster release.

Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.

Reply via email to