{
  rev = "a1d29ba6008a9b4bd9ed803df8ac5083e293e3db";
  sha256 = "13fw5h7bbzwzwwg9yx2vyb3372kaaiq2jv27yz8hlzfjn0fnfmvr";
  revdate = "2019-06-28T16:01:42Z";
}