{
  rev = "da81825a4c98b5461d2f7459c7a3277b2f13abe2";
  sha256 = "1wvgnnnyc0w6bjp68qn2ym2i83vawjvd8i3hx2nw7dqz9is755x4";
  revdate = "2019-10-12T09:11:42Z";
}