>> Trisquel >> Paquets >> nabia >> agda-mode >> all >> Liste des fichiers

Liste des fichiers du paquet agda-mode dans nabia pour l'architecture all

/usr/share/doc/agda-mode/changelog.Debian.gz
/usr/share/doc/agda-mode/copyright

Cette page est aussi disponible dans les langues suivantes :

Pour signaler un problème sur le site web, envoyez un courriel en anglais à trisquel-devel@listas.trisquel.info ou en français à debian-l10n-french@lists.debian.org. Pour obtenir d'autres informations sur les contacts de Trisquel, référez-vous à la page contact