1 2 3 4 5
{ rev = "20b993ef2c9e818a636582ade9597f71a485209d"; sha256 = "0plb93vw662lwxpfac7karsqkkajwr6xp5pfgij2l67bn1if3xd6"; revdate = "2019-06-23T22:43:23Z"; }