{
  rev = "76e9f4151f6d0880d32dbc57123e00eace1b0734";
  sha256 = "1bv2awp70wj1zxdlf6v5a5ajkwyxagrb7vp5lb4ka1m82ynvs99g";
  revdate = "2019-06-07T20:15:40Z";
}