Removed HoTT and 8.5 Coq versions