| Paketname | libghc-agda-doc |
| Beschreibung | dependently typed functional programming language - documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.3.0.1-1build2 |
| Sektion | universe/doc |
| Priorität | extra |
| Installierte Größe | 20134 Byte |
| Hängt ab von | haddock-interface-19 |
| 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 | 1687042 Byte |
| Prüfsumme MD5 | 24e733b39043dff3a1b62be36000b8da |
| Prüfsumme SHA1 | 6ecdaf01f7dd7339014cc2eae2e3d98043d3c419 |
| Prüfsumme SHA256 | 541fe36ecca779006ea7fe3900c3327f8136597774806cd5aad8182cb43942df |
| Link zum Herunterladen | libghc-agda-doc_2.3.0.1-1build2_all.deb |
| Ausführliche Beschreibung | |