{
  rev = "5372ee49bb22b0370100be8589f3692da58602e3";
  sha256 = "16jb2fxhl6156y9flwl73glq8imyglhg07w0g146m3li5f88961y";
  revdate = "2019-09-03T02:54:45Z";
}