sources:
  rustc-1.25.0-src.tar.gz: 8a8d11a5b9f836025d0790f3d03606ad1e7acd3c