tree 05aa24ddb70c13c1cbd13b002806f66a9402d06b
parent 1ba30e740a5f7ec19883d0a3ee031b77d72541bb
author Davide Pesavento <davidepesa@gmail.com> 1695412231 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1695412231 -0400

build: explicitly require boost >= 1.71.0

Change-Id: Icd946b6d98a88b092c1dcfe952db8daa1ea45a28