toutes les options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : agda  ]

Paquet : agda-mode (2.5.4.1-3)

Liens pour agda-mode

Screenshot

Ressources Debian :

Télécharger le paquet source agda :

Responsable :

Ressources externes :

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

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 114,9 ko122,0 ko [liste des fichiers]