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ß

Paketbeschreibung


Paketnamelibfloat-coq
BeschreibungCoq library on floating-point arithmetic
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version1:8.2-1.2-7
Sektionuniverse/libdevel
Prioritätoptional
Installierte Größe54480 Byte
Hängt ab voncoq-8.3pl2+3.12.0
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecoq-float
Paketgröße13908856 Byte
Prüfsumme MD5bc60d3e76eb884c9621cdbb03686d6b7
Prüfsumme SHA1dbb1a4bfba90013c4bec6a850fb6006626ba7d38
Prüfsumme SHA2560cff0b3ec483b69b7add16c95c7fcca9f2e4c51244043376b939158dd060680c
Link zum Herunterladenlibfloat-coq_8.2-1.2-7_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds