debian/tmp/usr/share/info/starpu.info*
