Hi, just to let you know that since a few days now, in the Ubuntu 12.04 nightly build repository, there are mixed packages from different daily builds: a few are stuck to 19/08 while others are at 23/08. cheers -- Giovanni --