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-4
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	180228 Byte
Prüfsumme MD5	a7098b24e9c06e373c2a1d86efecbbe5
Prüfsumme SHA1	825240f52dc921fd740440f2df997826972e5050
Prüfsumme SHA256	9540a7a61e980c40c1370adb4de6290ffd3ed2aa8b93f883f9cbdfb44b10b0c3
Link zum Herunterladen	why-examples_2.30+dfsg-4_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds