diff --git a/CHANGELOG.md b/CHANGELOG.md
index cec2faf06f2d4d42956a1daaf877effd80e86510..1948142cb9eeb6abf6a8a69353242c5029021a93 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,6 +32,11 @@ Coq 8.19 is newly supported by this version of std++.
   `{[ (x, y) : nat * nat | x = y ]}`. (by Thibaut Pérami)
 - Add `inv select` and `inversion select` tactics that allow selecting the
   to-be-inverted hypothesis with a pattern.
+- Create a `coq-stdpp-bitvector` package containing the previously
+  unstable `bitvector` library. Users of the library need to change
+  the import path from `stdpp.unstable.bitvector` to
+  `stdpp.bitvector.bitvector` and from `stdpp.unstable.bitvector_tactics` to
+  `stdpp.bitvector.tactics`.
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
diff --git a/stdpp_unstable/.keep b/stdpp_unstable/.keep
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000