{
  rev = "da0ad4c39ed91c0d485b3d519ad1631ea6a46ba2";
  sha256 = "041s2cx7wa76dhv48xpz3wwjki12hr0cg5v6y1mmivj7ixa818xl";
  revdate = "2019-09-20T17:47:59Z";
}