i was forgetting.. here ,as usually, is an updated unofficial mini.iso https://debian.polito.it/downloads/mini.iso ciao attilio