1 2 3 4 5
{ rev = "7cdbd7f6dabe2932828886ffad05a90df3555e3b"; sha256 = "0jx0h2zyghs3bp4sg8f3vk5rkyprz2dqfqs0v72vmkp3cvgzxbvs"; revdate = "2019-01-08T11:15:20Z"; }