{
  rev = "2f9534f75fffd58d1d0f5a580218e9f4ad589c5f";
  sha256 = "0jhgbna6496v1ilsdhg00gja7pxbqym00xdg13c5jyl82fki8sjz";
  revdate = "2019-08-11T23:48:00Z";
}