alt-ergo 1.30-1 is marked for autoremoval from testing on 2017-12-18 It is affected by these RC bugs: 882162: alt-ergo: alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t 883755: alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header