===> Cleaning for idris-1.3.4nb6