diff --git a/CHANGELOG.md b/CHANGELOG.md index 714f5c5d1e7e4b22dad118ea65deafdf565da27c..d798dff51a1910058973c8e49bd7045bd99d40d4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,6 +10,7 @@ API-breaking change is listed. - Add support for compiling the packages with dune. (by Rodolphe Lepigre) - Add lemmas `gset_to_gmap_singleton`, `difference_union_intersection`, `difference_union_intersection_L`. (by Léo Stefanesco) +- Make the build script compatible with BSD systems. (by Yiyun Liu) ## std++ 1.10.0 (2024-04-12)