Changelog entry for coq#18668

louiseddp · Feb 27, 2024 · 7952ebe · 7952ebe
1 parent db78cd0
commit 7952ebe
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/doc/changelog/11-standard-library/18668-depr_NDefOps_NIso.rst b/doc/changelog/11-standard-library/18668-depr_NDefOps_NIso.rst
@@ -0,0 +1,5 @@
+- **Deprecated:**
+  The library files ``Coq.Numbers.Natural.Abstract.NIso``
+  and ``Coq.Numbers.Natural.Abstract.NDefOps`` are deprecated.
+  (`#18544 <https://github.com/coq/coq/pull/18668>`_,
+  by Pierre Rousselin).