| Paketname | libghc-agda-doc |
| Beschreibung | dependently typed functional programming language - documentation |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.3.0.1-2 |
| Sektion | doc |
| Priorität | extra |
| Installierte Größe | 20173 Byte |
| Hängt ab von | haddock-interface-19 |
| Empfohlene Pakete | ghc-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-syb-doc, libghc-transfo |
| Paketbetreuer | Debian Haskell Group |
| Quelle | agda |
| Paketgröße | 1750812 Byte |
| Prüfsumme MD5 | ddd150b0527d70358144bdbf1db5a281 |
| Prüfsumme SHA1 | 4429ce3acb4236b8efb0c17c20acf78f2d0b4fd6 |
| Prüfsumme SHA256 | bd71052fb2044e76e6c09d66860aae50be757a1594ca9f1c996e1cd733fafd7d |
| Link zum Herunterladen | libghc-agda-doc_2.3.0.1-2_all.deb |
| Ausführliche Beschreibung | |