1 2 3 4 5
{ rev = "c2fb8a84a28c4bdfb5fa1f81ab19127e3e5b8a29"; sha256 = "00a4vwczm0kd7llzn3x7r0ajccs87m6z3l95z5c24xym5qhd0098"; revdate = "2019-06-30T19:01:05Z"; }