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 precise (universe)
Version	2.30+dfsg-3
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	177774 Byte
Prüfsumme MD5	11cf05652dad897fc8e5f4cfeb6837f5
Prüfsumme SHA1	491cf36fcddfdd7ef2a19448e324675fecd2f0df
Prüfsumme SHA256	70d9500a06f4edbd604d6646f63081788dc9acf5548ca426bde12cb3aaa5f1d3
Link zum Herunterladen	why-examples_2.30+dfsg-3_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds