hol-light 20170109-2 is marked for autoremoval from testing on 2017-10-22 It is affected by these RC bugs: 876533: hol-light: hol-light FTBFS with OCaml 4.05.0