hol-light 20170109-1 is marked for autoremoval from testing on 2017-08-14 It is affected by these RC bugs: 868606: hol-light: 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