Bug#922692: galax: FTBFS - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile
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/
Reply to: