| Paketname | agda-mode |
| Beschreibung | dependently typed functional programming language — emacs mode |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.3.0.1-2 |
| Sektion | misc |
| Priorität | optional |
| Installierte Größe | 170 Byte |
| Hängt ab von | emacs | emacsen, haskell-mode, libghc-agda-dev (>= 2.3.0.1-2), libghc-agda-dev (<< 2.3.0.1-2.1~) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Haskell Group |
| Quelle | agda |
| Paketgröße | 46136 Byte |
| Prüfsumme MD5 | fde920370e69bc609c827f23ec6d7e34 |
| Prüfsumme SHA1 | 6c6c6ade67e39fde5c64d3cc4cd40323966fa1cd |
| Prüfsumme SHA256 | 5a010807c5afe3ec6561f6d2ee65328a375092947a4408814a9090c89df60de4 |
| Link zum Herunterladen | agda-mode_2.3.0.1-2_all.deb |
| Ausführliche Beschreibung | |