hol-light is marked for autoremoval from testing

Thu, 21 Jan 2016 20:58:53 -0800 

hol-light 20131026-1 is marked for autoremoval from testing on 2016-02-20

It (build-)depends on packages with these RC bugs:
802264: camlp5: matita: FTBFS with OCaml 4.02.3

Reply via email to