1 2 3 4 5
{ rev = "6d52d66b53facd734fea38c61fc7090110dcd46d"; sha256 = "12hiz5ylcy8ai4qh8i6rjl2y0hm2fcizqsdvysinsd8vhzzw9x8r"; revdate = "2019-05-17T23:12:23Z"; }