blob: eacd9033b9ff5fe021125da3936355227f521c6a (
plain)
1
2
3
|
- **Deprecated:** ``Bool.Bvector``. Users are encouraged to consider ``list bool`` instead. Please open an issue if you would like to keep using ``Bvector``.
(`#18947 <https://github.com/coq/coq/pull/18947>`_,
by Andres Erbsen).
|