[ buster ]
[ Quellcode: agda ]
Paket: agda-mode (2.5.4.1-3)
Links für agda-mode
Debian-Ressourcen:
Quellcode-Paket agda herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [wiki.portal.chalmers.se]
Ähnliche Pakete:
transitional dummy package for elpa-agda2-mode
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
Pakete, die agda-mode bereitstellen
- elpa-agda2-mode
- Abhängig typisierte, funktionale Programmiersprache - Emacs-Modus
agda-mode herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 114,9 kB | 122,0 kB | [Liste der Dateien] |