{
  rev = "8746c77a383f5c76153c7a181f3616d273acfa2a";
  sha256 = "1dvhx9hcij3j94yv102f7bhqy73k50sr3lazn28zzj8yg5lbahar";
  revdate = "2019-08-13T00:53:59Z";
}