Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
> Some recent change in unstable make hol-light FTBFS: I blame the new camlp5 version for this. I have to see if upstream supports camlp5 version 7 already. Hendrik
Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
Source: hol-light Version: 20170109-1 Severity: serious Tags: buster sid Some recent change in unstable make hol-light FTBFS: https://tests.reproducible-builds.org/debian/history/hol-light.html https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/hol-light.html ... make make[2]: En