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

2017-07-17 Thread Hendrik Tews
> 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

2017-07-16 Thread Adrian Bunk
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