1 2 3 4 5
{ rev = "1962caf144ebd1d8772ffa0b77630ea48e61e615"; sha256 = "0f1vr0zscwvb5vlxbwrwijnx5aliw6sg11klj2wf27s37n6pdjmr"; revdate = "2019-06-04T15:34:00Z"; }