| Paketname | agda-mode |
| Beschreibung | dependently typed functional programming language — emacs mode |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.3.0.1-1build2 |
| Sektion | universe/misc |
| Priorität | optional |
| Installierte Größe | 171 Byte |
| Hängt ab von | emacs | emacsen, haskell-mode, libghc-agda-dev (>= 2.3.0.1-1build2), libghc-agda-dev (<< 2.3.0.1-1bu |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 40830 Byte |
| Prüfsumme MD5 | d2224ab894be548b16250b9b1728e664 |
| Prüfsumme SHA1 | a7a04856917865b9c5828bb421a8e6077861110b |
| Prüfsumme SHA256 | 70acfb893ec7df7b6d3ef9a3f726e927c8a21b37fe948f6990ff14d592eabac5 |
| Link zum Herunterladen | agda-mode_2.3.0.1-1build2_all.deb |
| Ausführliche Beschreibung | |