diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-19 10:18:28 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-19 10:18:28 +0200 |
commit | d535dc39339cad2dc9a98715a66d2ee3e541a69d (patch) | |
tree | 5d1136118325a6c526fa83a5e6e7b52160cc7720 | |
parent | 967ff73a613aa96269f4ca68889a4ffa0439f39c (diff) | |
download | ocaml-d535dc39339cad2dc9a98715a66d2ee3e541a69d.tar.gz |
Mention removal of otherlibs/num
-rw-r--r-- | Changes | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -154,6 +154,13 @@ Working version * GPR#1189: allow MSVC ports to use -l option in ocamlmklib (David Allsopp) +### Other libraries: + +- GPR#1178: remove the Num library for arbitrary-precision arithmetic. + It now lives as a separate project https://github.com/ocaml/num + with an OPAM package called "num". + (Xavier Leroy) + ### Manual and documentation: - MPR#6548: remove obsolete limitation in the description of private |