summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-08-19 10:18:28 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-08-19 10:18:28 +0200
commitd535dc39339cad2dc9a98715a66d2ee3e541a69d (patch)
tree5d1136118325a6c526fa83a5e6e7b52160cc7720
parent967ff73a613aa96269f4ca68889a4ffa0439f39c (diff)
downloadocaml-d535dc39339cad2dc9a98715a66d2ee3e541a69d.tar.gz
Mention removal of otherlibs/num
-rw-r--r--Changes7
1 files changed, 7 insertions, 0 deletions
diff --git a/Changes b/Changes
index 46ada6e3b6..2abe2a3ffc 100644
--- a/Changes
+++ b/Changes
@@ -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