[ buster ]
[ Source: agda ]
Package: agda-mode (2.5.4.1-3)
Links for agda-mode
Debian Resources:
Download Source Package agda:
Maintainer:
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
pacchetto fittizio di transizione per elpa-agda2-mode
agda-mode è stato elpificato. Vedere il pacchetto elpa-agda2-mode. Questo pacchetto di transizione può essere rimosso senza problemi.
Packages providing agda-mode
- elpa-agda2-mode
- linguaggio di programmazione funzionale tipizzato in modo dipendente - modalità Emacs
Download agda-mode
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 114.9 kB | 122.0 kB | [list of files] |