{
  rev = "7bbaf6352a1725f51c69afe9c4d276bbb293031c";
  sha256 = "1bvxgx777dxrqybbjiwsvf1amlgvb5h5kg4xrmkl402jrwkg85hj";
  revdate = "2019-07-25T05:31:11Z";
}