{
  rev = "67f6dad7171d8313679e47a8c569ad1434ef5d97";
  sha256 = "0lx3gkssf6sjpd9hn4swbnwsbhhcjwsbmd2qmv49w07rvwgl72p4";
  revdate = "2019-10-23T14:03:32Z";
}