| Paketname | libghc-agda-doc |
| Beschreibung | dependently typed functional programming language - documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2.10-3build1 |
| Sektion | universe/doc |
| Priorität | extra |
| Installierte Größe | 18228 Byte |
| Hängt ab von | haddock-interface-16 |
| Empfohlene Pakete | ghc-doc, libghc-haskeline-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-s |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 1461100 Byte |
| Prüfsumme MD5 | dcf85ae30f5e6836993e00578db6530e |
| Prüfsumme SHA1 | c9a14e8ea132e4b8a1e76cb2615d759b2693a73b |
| Prüfsumme SHA256 | 36a3893c5501713d313c59c47ba3e6bb263e91d81d0644eea00c6c35c606d287 |
| Link zum Herunterladen | libghc-agda-doc_2.2.10-3build1_all.deb |
| Ausführliche Beschreibung | |