Incremented version of virgilio dev-dep.