Source: alt-ergo Version: 1.30-1 Severity: serious Tags: buster sid Some recent change in unstable (ocplib-simplex?) makes alt-ergo FTBFS:
https://tests.reproducible-builds.org/debian/history/alt-ergo.html https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/alt-ergo.html ... File "/build/1st/alt-ergo-1.30/src/theories/intervalCalculus.ml", line 166, characters 10-17: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t Makefile.users:233: recipe for target 'src/theories/intervalCalculus.cmx' failed make[2]: *** [src/theories/intervalCalculus.cmx] Error 2
