{
  rev = "b9412f4fdb58858717e2a9755763c37f2bd63e65";
  sha256 = "0896ja3b7bacl1b4d1y392vhdm01945ciig6zg1n9aa9hn0xz1fp";
  revdate = "2019-07-24T13:43:43Z";
}