{
  rev = "844dfde8538c1f55aaf254c18649d419bdff7a92";
  sha256 = "0kq6zzj5pn2n3q1bxhx5cifmc5ywdfb68qnjgkzvm9liq2sdy9da";
  revdate = "2019-08-27T15:18:38Z";
}