{
  rev = "e275a6c2f38d20a0bd9c5c113fb9d19b479a89fa";
  sha256 = "1f3hx3vxpw72zpy8syadjaz2qsscckjs62qmk2m9sxmjr9470p4a";
  revdate = "2019-08-07T04:53:34Z";
}