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 Debian Archiv wheezy (main)
Version	2.30+dfsg-5
Sektion	libdevel
Priorität	optional
Installierte Größe	903 Byte
Hängt ab von	coq-8.3pl4+3.12.1
Empfohlene Pakete
Paketbetreuer	Debian OCaml Maintainers
Quelle	why
Paketgröße	417300 Byte
Prüfsumme MD5	a5bd95d569bef816db5fa035c954293d
Prüfsumme SHA1	8c75bf78f0278ce006986ca5f35c7c9a4830c17c
Prüfsumme SHA256	c42a5f842ea00f758bb1a2c4c26f7eccccdcf2827a8f41560a169f879c0663ba
Link zum Herunterladen	libwhy-coq_2.30+dfsg-5_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds