{
  rev = "51368bbb94c05b25129ce61a1d239013bd1a9e9f";
  sha256 = "15vjjf8vbyx9lfmakhvs2izl7wv09p091afkdz0qgy1l6pvjprw9";
  revdate = "2019-07-08T14:52:42Z";
}