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 quantal (universe)
Version	2.30+dfsg-5
Sektion	universe/libdevel
Priorität	optional
Installierte Größe	892 Byte
Hängt ab von	coq-8.3pl4+3.12.1
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	why
Paketgröße	402990 Byte
Prüfsumme MD5	6a05c920d03b0124cd48f4dd671f95d8
Prüfsumme SHA1	0773e088c3d7ec2cfb47eca305c926eadbbc19f9
Prüfsumme SHA256	8b2f48b0014a5f919a7fd9860600d5e259d4603be4eaa428a5242762bf7daa6a
Link zum Herunterladen	libwhy-coq_2.30+dfsg-5_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds