Hi, In http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=594634 I can see a report that boost 1.44 was uploaded, but it does not appear to be present in any distribution anymore. Are the packages still available anywhere? Gr, Wichert.