{
  rev = "3b4824a2fe933a829b9710da069f8e067cf7e1a5";
  sha256 = "1b8l3kgnap9w4l88z0mbx5pn0cjh8gs93c1j0hyg3fxlkz0cha9k";
  revdate = "2019-10-08T16:46:06Z";
}