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 oneiric (universe)
Version	2.29+dfsg-3
Sektion	universe/doc
Priorität	optional
Installierte Größe	2260 Byte
Hängt ab von	libwhy-coq, why
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	why
Paketgröße	174514 Byte
Prüfsumme MD5	a217dd82bc91803ad827246c5e12be02
Prüfsumme SHA1	c535178fcc853c7050a81f25653c7735f2341dff
Prüfsumme SHA256	63b6f66162c7ccc077b2154dbd17b54ee3696de9468814d446e8d52e01c234c4
Link zum Herunterladen	why-examples_2.29+dfsg-3_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds