tree 92ababe46764e04e4c150f76c2f98e0f2fd674a4
parent fd19485e0796360c699ccbcb7892ae3cecde5f61
author Davide Pesavento <davidepesa@gmail.com> 1694917835 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1694917835 -0400

build: require boost >= 1.71.0

Refs: #5276
Change-Id: Ifc719cf5e4b8704e0408cab1f9ab849006061dfc