3d42164e6f899508db86307a49751b52054b85d7 (HEAD, tag: starpu-1.4.7, origin/starpu-1.4)
