package num

All checked builds pass
  1. Overview
  2. Docs
The legacy Num library for arbitrary-precision integer and rational arithmetic

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. V
    Valérie Ménissier-Morain
  2. P
    Pierre Weis
  3. Xavier Leroy

Maintainers

  1. Xavier Leroy

Sources

v1.6.tar.gz
sha256=b5cce325449aac746d5ca963d84688a627cca5b38d41e636cf71c68b60495b3e
sha512=5cb32dfa9a9f0ad375bfd89079e9b1422979f3c089f61ef2300ad9cc64fb1fc25ed1f86b0267eb017f12ae41a574a959df5bfa39ab22c2be2f1ac84c3c671bdf

Description

Added to opam-repository:

Dependencies (1)

  1. ocaml >= "4.06.0"

Dev Dependencies

None

Used by (65)

  1. aez
  2. alt-ergo < "2.3.0"
  3. alt-ergo-free
  4. alt-ergo-lib < "2.5.1"
  5. altgr-ergo < "2.3.0"
  6. archetype >= "0.1.4"
  7. arrayjit
  8. base58
  9. batteries
  10. bignum
  11. camlprime
  12. cca
  13. clarity-lang
  14. cloudi < "2.0.6"
  15. coccinelle
  16. combine
  17. coq < "8.14.0"
  18. csvfields
  19. cubicle
  20. deriving
  21. exenum < "0.84"
  22. feat-num
  23. goblint-cil < "1.7.4"
  24. hardcaml_waveterm
  25. hol_light
  26. js_of_ocaml >= "3.10.0"
  27. js_of_ocaml-compiler >= "3.10.0"
  28. js_of_ocaml-lwt >= "3.10.0"
  29. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
  30. js_of_ocaml-ppx >= "3.10.0"
  31. js_of_ocaml-ppx_deriving_json >= "3.10.0"
  32. js_of_ocaml-toplevel >= "3.10.0"
  33. js_of_ocaml-tyxml >= "3.10.0"
  34. kappa-library
  35. kaputt
  36. kind2
  37. lem
  38. logtk >= "2.1"
  39. lustre-v6 >= "6.103.3"
  40. lutils
  41. lutin
  42. mldonkey
  43. mlsolver
  44. msgpack
  45. mysql_protocol
  46. neural_nets_lib
  47. ocamlyices
  48. ocplib-simplex < "0.5.1"
  49. orm
  50. orpie
  51. pgsolver >= "4.4"
  52. piqi
  53. polka
  54. ppx_cstubs
  55. rdbg >= "1.196.12"
  56. rlp
  57. rml
  58. sexplib
  59. spirv < "1.1.2"
  60. TCSLib
  61. tcs-lib
  62. tplib
  63. wasm_of_ocaml-compiler
  64. why3 < "1.8.0"
  65. z3 < "4.8.7"

Conflicts (1)

  1. base-num

Build status

Results of building num with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
1.6 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure