[ buster ]
[ Kaynak: agda ]
Paket: agda-mode (2.5.4.1-3)
agda-mode için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
agda Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [wiki.portal.chalmers.se]
Benzer paketler:
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 sağlayan paketler
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
agda-mode indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 114,9 kB | 122,0 kB | [dosya listesi] |