DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibghc-agda-doc
Beschreibungdependently typed functional programming language - documentation
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version2.3.0.1-2
Sektiondoc
Prioritätextra
Installierte Größe20173 Byte
Hängt ab vonhaddock-interface-19
Empfohlene Paketeghc-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-syb-doc, libghc-transfo
PaketbetreuerDebian Haskell Group
Quelleagda
Paketgröße1750812 Byte
Prüfsumme MD5ddd150b0527d70358144bdbf1db5a281
Prüfsumme SHA14429ce3acb4236b8efb0c17c20acf78f2d0b4fd6
Prüfsumme SHA256bd71052fb2044e76e6c09d66860aae50be757a1594ca9f1c996e1cd733fafd7d
Link zum Herunterladenlibghc-agda-doc_2.3.0.1-2_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds