[ etiona ]
[ nabia ]
[ Pakiet źródłowy: agda ]
Pakiet: agda-mode (2.6.0.1-1build4)
Odnośniki dla agda-mode
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego agda:
Opiekun:
Original Maintainer:
- Debian Haskell Group (Archiwum e-mail)
Zasoby zewnętrzne:
- Strona internetowa [wiki.portal.chalmers.se]
Podobne pakiety:
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.
Pakiety udostępniające agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Pobieranie agda-mode
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 3,6 KiB | 23 KiB | [lista plików] |