{
  rev = "0bd59daa7a3c701ec8f23bc5b4b77ea1df149a01";
  sha256 = "16y4dy1x393mc1qghbs8if0b2q9kd439iw7n0l7shd6m9g51dm3c";
  revdate = "2019-06-03T18:35:11Z";
}