1 2 3 4 5
{ rev = "6a8ba7bc17146544f6e0446f473ff290e77e3256"; sha256 = "14qvy5bdzrhv6h8qkkrhrxx0331msadi13hh783jgamqn67wq9yj"; revdate = "2018-10-19T12:58:23Z"; }