tree f087ffbfca363bc25d3bc18ed03943e920cff20b
parent e1005da0a23d2a0807d920fe15fd5a649cbf48cb
author Davide Pesavento <davidepesa@gmail.com> 1699162201 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1699162201 -0400

build: require boost >= 1.71.0

Refs: #5276
Change-Id: I0f179707020fc6e0908af8aeb1d535ca3cd81410