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 | |