Branch: refs/heads/travis-xenial Home: https://github.com/csmith-project/creduce Commit: 2272559b69f29e9fd3ad5c0e108936e3840c4b27 https://github.com/csmith-project/creduce/commit/2272559b69f29e9fd3ad5c0e108936e3840c4b27 Author: John Regehr <regehr@cs.utah.edu> Date: 2018-01-03 (Wed, 03 Jan 2018) Changed paths: M scripts/travis_deps.sh Log Message: ----------- oops