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	libwhy-coq
Beschreibung	Why library for Coq
Archiv/Repository	Offizielles Ubuntu Archiv oneiric (universe)
Version	2.29+dfsg-3
Sektion	universe/libdevel
Priorität	optional
Installierte Größe	888 Byte
Hängt ab von	coq-8.3pl2+3.12.0
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	why
Paketgröße	409340 Byte
Prüfsumme MD5	5bbc30e82786d46dc1083e0ea0eb8cd5
Prüfsumme SHA1	ba93a6e9ec36d8a2a31c82448d64967049211189
Prüfsumme SHA256	50740279c421d9401463ed3fa3741e6068883d931ddcf917a333ee5f0322c854
Link zum Herunterladen	libwhy-coq_2.29+dfsg-3_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds