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. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.irif.fr/~treinen/
