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ß

Paketname	why-examples
Beschreibung	Examples of programs certified with Why
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	2.30+dfsg-5
Sektion	doc
Priorität	optional
Installierte Größe	1638 Byte
Hängt ab von	libwhy-coq, why
Empfohlene Pakete
Paketbetreuer	Debian OCaml Maintainers
Quelle	why
Paketgröße	194416 Byte
Prüfsumme MD5	42044debb6746e52695581980b87e0fb
Prüfsumme SHA1	6b4cc5ca3ae4825ff07837b1da6215b06ee83fb1
Prüfsumme SHA256	f250f51b380abf1a5addee6fad83d6205fc29ddee442208dcaf857566226d931
Link zum Herunterladen	why-examples_2.30+dfsg-5_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds