1 2 3 4 5
{ rev = "ca8e763f06756136c534b1bbd2e5b536be6b1995"; sha256 = "1w16n58xj4ncaqjlwczq7i8kpxi05hjp2dqkqhajd9dzk0bd77qy"; revdate = "2019-05-24T15:52:38Z"; }