{
  rev = "eea33299ff73cb3428bf043b6df37e504a238712";
  sha256 = "1laiva2awp8w532cp4s33nkn9mi4v4cx1g9i2plbyl83533ddjcj";
  revdate = "2019-07-01T15:54:10Z";
}