{
  rev = "f35f0880f2cdbc8c1bc81492811251f120d7a9bc";
  sha256 = "16ggjvcp2q5pfwxdrnma1b4bc05y4p3j5gxhb7f8gjbal1ndfk91";
  revdate = "2019-10-20T17:12:45Z";
}