{
  rev = "07d4df5962625285bcc09b057b40001bfa32340d";
  sha256 = "0xl54j7dgazcamxdvn5f4b4j1bqmb85882ly2dwsnncilz0vfnqy";
  revdate = "2019-10-08T11:08:50Z";
}