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 Ubuntu Archiv quantal (universe)
Version	2.30+dfsg-5
Sektion	universe/doc
Priorität	optional
Installierte Größe	1628 Byte
Hängt ab von	libwhy-coq, why
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	why
Paketgröße	177772 Byte
Prüfsumme MD5	ccf4bc721bcd8d41f82a4f81156e4b31
Prüfsumme SHA1	be5b080f59077472461ef607c92c8429e9b32cbb
Prüfsumme SHA256	720249158e841e0fd8aba30d52ce4049a5560593aa6a13a1af1b22e7a3800ff5
Link zum Herunterladen	why-examples_2.30+dfsg-5_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds