Test for the repo Opam of HoTT added