Al momento io ho installato la versione ....-12gslacky
volevo vedere le differenze tra le opzioni di configure e ho notato che ci sono dei file riguardanti hal che in quello nuovo non ci sono
Come mai? a che servono quei file?
nel dubbio non ho aggiornato

