| Paketname | agda-mode |
| Beschreibung | dependently typed functional programming language — emacs mode |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2.10-3build1 |
| Sektion | universe/misc |
| Priorität | optional |
| Installierte Größe | 184 Byte |
| Hängt ab von | emacs | emacsen, haskell-mode, libghc-agda-dev (>= 2.2.10-3build1), libghc-agda-dev (<< 2.2.10-3buil |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 39886 Byte |
| Prüfsumme MD5 | af718970d617903f55327552988d312b |
| Prüfsumme SHA1 | 690e85f1255462d54101115721831cc475d03a3e |
| Prüfsumme SHA256 | b2d2174a707a061ce10d9addf719099d59ccdaa07b269de87218a9705c63f25a |
| Link zum Herunterladen | agda-mode_2.2.10-3build1_all.deb |
| Ausführliche Beschreibung | |