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 Ubuntu Archiv oneiric (universe)
Version2.2.10-3build1
Sektionuniverse/doc
Prioritätextra
Installierte Größe18228 Byte
Hängt ab vonhaddock-interface-16
Empfohlene Paketeghc-doc, libghc-haskeline-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-s
PaketbetreuerUbuntu Developers
Quelleagda
Paketgröße1461100 Byte
Prüfsumme MD5dcf85ae30f5e6836993e00578db6530e
Prüfsumme SHA1c9a14e8ea132e4b8a1e76cb2615d759b2693a73b
Prüfsumme SHA25636a3893c5501713d313c59c47ba3e6bb263e91d81d0644eea00c6c35c606d287
Link zum Herunterladenlibghc-agda-doc_2.2.10-3build1_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds