1 2 3 4 5
{ rev = "5582689d76ae2e6295f8b8f51b4faafe469b85b4"; sha256 = "0ycksh2q8r9sv1lpfrqv7liik7bdplckfwlw9yljijcdni59c0jy"; revdate = "2019-07-14T16:47:49Z"; }