[ buster ]
[ Paquet source : agda ]
Paquet : agda-mode (2.5.4.1-3)
Liens pour agda-mode
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source agda :
Responsable :
Ressources externes :
- Page d'accueil [wiki.portal.chalmers.se]
Paquets similaires :
paquet factice de transition pour elpa-agda2-mode
Agda-mode a rejoint ELPA. Voir le paquet elpa-agda2-mode. Ce paquet de transition peut être supprimé en toute sécurité.
Paquets fournissant agda-mode
- elpa-agda2-mode
- langage de programmation fonctionnel typé de façon dépendante - mode emacs
Télécharger agda-mode
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 114,9 ko | 122,0 ko | [liste des fichiers] |