1 2 3 4 5
{ rev = "aedf133b168ae780cb8688ef3e85abd143d79f3c"; sha256 = "0k7izxwpjc96bj7wkvlp62g029i62xi1chvy5z5dr7dr3y9ckbjk"; revdate = "2019-01-14T08:05:52Z"; }