1 2 3 4 5
{ rev = "6a9ac01100ecca05d221bea096bb088b376579c1"; sha256 = "1z126203h3bpgqrzkxz38ywjmxp4djd6604kzdk7d184x4da8lrj"; revdate = "2019-07-03T20:50:37Z"; }