{
  rev = "db74a46d7b9a52a85c65b6eae49ea1f546c11192";
  sha256 = "0nbvl16i4530q8rhra4kzqlbj8d2wx6n20fghl5dmlc9s0ibphkb";
  revdate = "2019-09-12T15:40:03Z";
}