diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 3bc5855e346efdc48e474e2d78d62f256850822c..fa43cadb13d8455a11d8ba92271d37daaad562c6 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,8 @@
 Plugin WP <next-release>
 ########################
 
+- WP          [2022-01-25] Removed deprecated "native:coq" prover
+- WP          [2022-01-25] Removed deprecated "native:alt-ergo" prover
 - WP          [2022-01-10] Supported general variant measure
 - WP          [2022-01-10] Supported decreases clause
 - TIP         [2022-01-10] New tactic Mod-Mask: rewrite bitmask into/from modulo