{
  rev = "e5233dbe6e24c26a84762b13d7fcca2ac40dfe1b";
  sha256 = "1yirc259my66hmrxzvjr8m7lm1ywimcscyfjq2fyl4dfr77gac77";
  revdate = "2019-08-21T19:56:04Z";
}