Logithèque#
Liste des logiciels installés sur curry et de la configuration utilisateur.
Par défaut, les sources des logiciels installés sont placées dans le répertoire /usr/local/prod. Après compilation, l’installation est faite dans un répertoire spécifique dont le nom précise la version du logiciel et le compilateur utilisé.