1 2 3 4 5
{ rev = "6345000b929293a2917a1a08a6d2751020d36e3c"; sha256 = "18zyhgwcg8slks8i93iv5plfhvp0dcdkv0i65xr7i9qcflv38fv2"; revdate = "2019-07-11T16:31:21Z"; }