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 Debian Archiv wheezy (main)
Version1:8.3pl1-4
Sektionmath
Prioritätoptional
Installierte Größe72222 Byte
Hängt ab voncoq-8.3pl4+3.12.1
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quellecoq-float
Paketgröße16637158 Byte
Prüfsumme MD565b3e3517cbb1c310ec6bb4df8e92d5c
Prüfsumme SHA1298ab5aa7402e9009ee46fd54c7e8df5013e7dbe
Prüfsumme SHA25612ae64a8ca81c8082a0f889610bd34ca84e7a8906af680afc006cbf605824f23
Link zum Herunterladenlibfloat-coq_8.3pl1-4_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds