|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
libgmp-ocaml-dev
| libgmp-ocaml-dev | OCaml bindings for the GNU multiprecision arithmetic library | | Priority | |
| Section | libdevel |
| Installed size | 256 |
| Maintainer | Mike Furr <mfurr@debian.org> |
| Architecture | i386 |
| Version | 20021123-11 |
| Depends | libgmp-ocaml (= 20021123-11), ocaml-nox-3.09.2, libgmp3-dev |
| Suggests | device3dfx-module, device3dfx-source |
| File name | pool/main/m/mlgmp/libgmp-ocaml-dev_20021123-11_i386.deb |
| Description | This package provides bindings for the GNU multiprecision library (GNU MP) for the language OCaml(caml.inria.fr). It is mostly a 1-1 mapping of the C functions into the ocaml namespace, but also includes some infix operators to make for a cleaner syntax. . This package provides the static library, ocaml library and interface for developing applications to use libgmp-ocaml |
|
|
|
Etude RTOS