{
  rev = "c3fbb01e070de6fd97ab6ce44e3e01bc84b6ac7f";
  sha256 = "083rdp07ai5cnmnz4gwsws0yypd1hjsh600fsds8x2m7k8z3bw0s";
  revdate = "2019-08-24T04:41:19Z";
}