{
  rev = "ce879500d71fa4ccdf5c29c42f6b286325ca28ae";
  sha256 = "12xm8viwcs3li300jrixvr3viaf8rbhrmzji8r0112lgrf1ignwx";
  revdate = "2019-09-16T07:18:33Z";
}