{
  rev = "4f4d3cf2a25f7af022e51b861ef04f7c4a94b768";
  sha256 = "1myaakffqhx2x5h0d3jijv88rwh4m5p4kdzqsaq67i0y2na3nf23";
  revdate = "2019-08-15T15:46:54Z";
}