{
  rev = "0b3b66e6e4c04ff44a164c366931d1e6beaca9e4";
  sha256 = "0zjd214asmikzgdb7j0f6pq48y60a8zpkbr5nahxjgvv6k2836z2";
  revdate = "2019-09-09T22:16:15Z";
}