On Mon, Jan 11, 2016 at 10:17:32AM +0100, Ludovic Courtès wrote: > 3. Hope that Debian has a patch to fix this and apply it.
Debian is still at 1.58, so this is not an option right now. Andreas
- [PATCH] gnu: boost: Update to 1.60.0 Eric Bavier
- Re: [PATCH] gnu: boost: Update to 1.60.0 Ricardo Wurmus
- Re: [PATCH] gnu: boost: Update to 1.60.0 Efraim Flashner
- Re: [PATCH] gnu: boost: Update to 1.60.0 Ludovic Courtès
- Re: [PATCH] gnu: boost: Update to 1.60.0 Eric Bavier
- Re: [PATCH] gnu: boost: Update to 1.60.0 Ludovic Courtès
- Re: [PATCH] gnu: boost: Update to 1.60.0 Andreas Enge
- Re: [PATCH] gnu: boost: Update to 1... Ludovic Courtès
- Re: [PATCH] gnu: boost: Update ... Andreas Enge
- Re: [PATCH] gnu: boost: Update ... Ludovic Courtès
- Re: [PATCH] gnu: boost: Upd... Ludovic Courtès
