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	libfloat-coq
Beschreibung	Coq library on floating-point arithmetic
Archiv/Repository	Offizielles Ubuntu Archiv quantal (universe)
Version	1:8.3pl1-4
Sektion	universe/libdevel
Priorität	optional
Installierte Größe	72222 Byte
Hängt ab von	coq-8.3pl4+3.12.1
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	coq-float
Paketgröße	16635296 Byte
Prüfsumme MD5	3bce2a39720294af6c07224124b3c8e9
Prüfsumme SHA1	87f10d0a5760f9c4738192487dcb10bdabbf228a
Prüfsumme SHA256	96e182e7572a1adbca73fc2e864190515c7cc31845c7b1875ed67b14dd2af6ba
Link zum Herunterladen	libfloat-coq_8.3pl1-4_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds