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 precise (universe)
Version1:8.2-1.2-9
Sektionuniverse/libdevel
Prioritätoptional
Installierte Größe62286 Byte
Hängt ab voncoq-8.3pl3+3.12.1
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecoq-float
Paketgröße13989620 Byte
Prüfsumme MD51100de583979a25efc59512cd6355ede
Prüfsumme SHA16a5a449125cd50b0f5767c1b608b14b5549721c6
Prüfsumme SHA256a16a3beb59946071522d7bca831ad1622bd17e9586b7951c478899aac2bf7619
Link zum Herunterladenlibfloat-coq_8.2-1.2-9_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds