tree 7dc1b4680ca0dfe2f4c6b3bed06a97419b27b874
parent 9330c2ee4986d9c9bc1c5c8918cd984b3dcc8996
author Davide Pesavento <davidepesa@gmail.com> 1695411921 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1695411921 -0400

build: require boost >= 1.71.0

Refs: #5276
Change-Id: I287a52dab0212d1ce0da77afb563554214cac68a