tree 752da4a0e3dee0a8c2f7876a04a8307aafaacfc8
parent a3148081cef9d3f5f218948e4aa135ad8cf7ca45
author Davide Pesavento <davide.pesavento@lip6.fr> 1525995363 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1525998837 -0400

build: require gcc >= 5.3 and boost >= 1.58

This effectively drops support for all versions of Ubuntu older than 16.04

Change-Id: If1c96cc697d38a94588f126a89d13ec8e582702d
Refs: #4462