{
  rev = "0fb513fb85eb5846eb598b91a0fc79dc16b5da36";
  sha256 = "1xi5lwx82c33nw2ml93f2fhfwaiy0qvl251lr4yzzvqggai3igyh";
  revdate = "2019-08-27T16:14:57Z";
}