tree c915cd0705fec2459e06a90823982516c3284629
parent b6e10dd86a45457fd682908238eb6160539e2f6e
author Davide Pesavento <davidepesa@gmail.com> 1694830102 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1694830102 -0400

build: require boost >= 1.71.0

Refs: #5276
Change-Id: Ib62b24b041e21b2c017cd9c290f7d5dc09003d63