| Paketname | libmpfi-dev |
| Beschreibung | multiple precision floating-point interval computation library |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1.5.1-1 |
| Sektion | libdevel |
| Priorität | optional |
| Installierte Größe | 289 Byte |
| Hängt ab von | libgmp-dev, libmpfr-dev (>= 2.2.0.dfsg.1-1), libmpfi0 (= 1.5.1-1), dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | |
| Paketbetreuer | Laurent Fousse |
| Quelle | mpfi |
| Paketgröße | 68474 Byte |
| Prüfsumme MD5 | 05f12f99212c701de8735ebbcb020cb7 |
| Prüfsumme SHA1 | 14161a3feb6cee7537151b922596943feb7161f8 |
| Prüfsumme SHA256 | aab6482e12c1c1d8389172bb3b890324add3e25e8dda208be5eac2aa777b63ff |
| Link zum Herunterladen | libmpfi-dev_1.5.1-1_i386.deb |
| Ausführliche Beschreibung | |