{
  rev = "5ffcea4c28103ecac3d4970412e8b44dbccfcb22";
  sha256 = "0f1hz9fmk72qpzyxghl0zmkwykacpx6pdcldqjir5sz8djbjkz7j";
  revdate = "2019-07-10T19:29:38Z";
}