Update specinfra