{
  rev = "b943338ea582aeb9b0a406d7fb75f3f62bc16a9d";
  sha256 = "06azqwqg1x4xyr9cw75d465rbwla9cjjynjvd8r4bls5zgvvkcjy";
  revdate = "2019-10-11T12:20:27Z";
}