1 2 3 4 5
{ rev = "2970ef24f4c67db61874e70827bf616e7145d3e7"; sha256 = "00dcmp6gwnzab5q4ky0l4vrm1ry02s173hvjy64qyw9hkllb1z4z"; revdate = "2019-06-04T16:08:00Z"; }