1 2 3 4 5
{ rev = "be445a9074f139d63e704fa82610d25456562c3d"; sha256 = "15dc7gdspimavcwyw9nif4s59v79gk18rwsafylffs9m1ld2dxwa"; revdate = "2019-01-14T23:24:12Z"; }