{
  rev = "823cdb0f6f6bfc4a119af76ef2be8a8d2b01dff3";
  sha256 = "1cf8ivk769fxw8i20g85d04409gdg2rzyxndqbn2bx14yk39c7ah";
  revdate = "2019-09-06T17:20:23Z";
}