| Paketname | libghc-agda-doc |
| Beschreibung | dependently typed functional programming language - documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.3.0.1-2build1 |
| Sektion | universe/doc |
| Priorität | extra |
| Installierte Größe | 20348 Byte |
| Hängt ab von | haddock-interface-20 |
| 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 | 1768608 Byte |
| Prüfsumme MD5 | 855f66578a04bf51ee362483e2d1e5d0 |
| Prüfsumme SHA1 | 945fbde44da46714aa1eb5599d39874bfb5646fe |
| Prüfsumme SHA256 | 65179a83a1d0ee63fcba80078f27043533a6be6e6d7553095a55a5f7080b1c82 |
| Link zum Herunterladen | libghc-agda-doc_2.3.0.1-2build1_all.deb |
| Ausführliche Beschreibung | |