Bug#672933: gringo: please build-depend on unversionend boost libraries

[Ralf Treinen]

Source: gringo
Version: 3.0.4-2
Severity: wishlist

Hi, gringo is currently build-depending on 

 libboost-filesystem1.48-dev,
 libboost-system1.48-dev,

it would be better to depend on unversionend boost packages if possible, like

 libboost-filesystem-dev,
 libboost-system-dev

since this is more robust against future evolutions of boost packages
(and boost is evolving quite fast). Upstream INSTALL says that one
needs any version of boost >1.37 so I guess this should be possible.

-Ralf.