1 2 3 4 5
{ rev = "3dec88e4555ee5fd95ffd69133623816cb0c25c4"; sha256 = "1hcbxvy3a47gy4c1lg8avql79ddchgv8px11w4s3d6dl6pzfc5km"; revdate = "2019-06-02T13:30:47Z"; }