Update specs due to change of license and repository name.