Un fichier XML avec l'extension .dist qui contient toutes les informations qui définit une expérience d'installation dans un package de distribution. Voir aussi le paquet de la distribution.