{
  rev = "8120fb6ec4c52cf3acda82d968ad9fd0bd5f0ef7";
  sha256 = "18jnfnw4q465bswv03xfsm5h53mvci238jpyhzdzwhzfl8xxym2s";
  revdate = "2019-08-23T10:43:43Z";
}