now in line with the Idris repo