tree 5ddc1d6290c71918695ca5c97343383fa2e4fc34
parent 2ecb059eb9214e77c02b1f1ee999f1cfbca3fbfb
author Davide Pesavento <davidepesa@gmail.com> 1699837221 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1699837221 -0500

build: require boost >= 1.71.0

Refs: #5276
Change-Id: I6eaae86beb89e00adf3891deb87816a1f176fdd6