{
  rev = "d6ea419b3caad8ec89c66eef504dc043fec26d2a";
  sha256 = "166z0v8qznkis041sx9lpymkx0hsjb7vk4ah5a7mwd8jijd5rw45";
  revdate = "2019-09-17T19:16:38Z";
}