Bug#672933: Builds fine with boost 1.49

Dear Steve, On Tue May 22, 2012 12:30:28AM -0500, Steve M. Robbins wrote: > FYI: just did a successful rebuild in pbuilder with the obvious > change: [...] > > - libboost-filesystem1.48-dev, > - libboost-system1.48-dev, > + libboost-filesystem-dev, > + libboost-system-dev, Thank you for your repo

Bug#672933: Builds fine with boost 1.49

Hi, FYI: just did a successful rebuild in pbuilder with the obvious change: diff -u -r gringo-3.0.4/debian/control gringo-new/debian/control --- gringo-3.0.4/debian/control 2012-04-10 09:48:21.0 -0500 +++ gringo-new/debian/control 2012-05-22 00:14:56.611737690 -0500 @@ -7,8 +7,8 @@ Bui