[ buster ]
[ Източник: agda ]
Пакет: agda-mode (2.5.4.1-3)
Връзки за agda-mode
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник agda.
Отговорник:
Външни препратки:
- Начална страница [wiki.portal.chalmers.se]
Подобни пакети:
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.
Пакети, предлагащи agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Изтегляне на agda-mode
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 114,9 кБ | 122,0 кБ | [списък на файловете] |