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]: Entering directory '/build/1st/hol-light-20170109' if test `ocamlc -version | cut -c1-3` = "3.0" ; \ then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` pa_j.ml ; \ else if test `ocamlc -version | cut -c1-3` = "3.1" -o `ocamlc -version | cut -c1-4` = "4.00" -o `ocamlc -version | cut -c1-4` = "4.01" -o `ocamlc -version | cut -c1-4` = "4.02" -o `ocamlc -version | cut -c1-4` = "4.03" ; \ then ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \ else ocamlc -safe-string -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \ fi \ fi File "pa_j.ml", line 359, characters 46-48: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a Makefile:40: recipe for target 'pa_j.cmo' failed make[2]: *** [pa_j.cmo] Error 2 make[2]: Leaving directory '/build/1st/hol-light-20170109' debian/rules:31: recipe for target 'override_dh_auto_build' failed make[1]: *** [override_dh_auto_build] Error 2
