{
  rev = "f90bc9874d060a24276c2808275f4068d30ba47b";
  sha256 = "10jzdmd7girxmc3kfrcmgfbn0x9mbd8byasb7mc6rcks49mqr51k";
  revdate = "2019-09-09T14:01:37Z";
}