| Paketname | agda-mode |
| Beschreibung | dependently typed functional programming language — emacs mode |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.3.0.1-2build1 |
| 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-2build1), libghc-agda-dev (<< 2.3.0.1-2bu |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 44936 Byte |
| Prüfsumme MD5 | 26c157ad10cc0f305ae0665b52a8ce52 |
| Prüfsumme SHA1 | 1ab9184bb3fafef99ae9bada64bfbb851e8e7d4d |
| Prüfsumme SHA256 | ef5d9df811584e257fcc412a938af895e9619e49865a944ca0649ac6478844d7 |
| Link zum Herunterladen | agda-mode_2.3.0.1-2build1_all.deb |
| Ausführliche Beschreibung | |