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

Impressum
Linux is a registered trademark of Linus Torvalds