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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
