{
  rev = "426e1ce93d1344414bd3fa0eb7cd50d7ca9ec075";
  sha256 = "18kij8ggxr7j172ipwj1xy7l4svlgxkscyl1scfc5ms8kpgs3s6l";
  revdate = "2019-09-12T20:33:24Z";
}