1 2 3 4 5
{ rev = "57d65085125df25b980e63bd51fa5cb39ed3857d"; sha256 = "0zcnyhm4wc3r7wy4i5ak11a06ns6g98l79a6q2j1lydvda57zyay"; revdate = "2019-08-04T16:15:56Z"; }