1 2 3 4 5
{ rev = "bfdee1319ffc8a720d0536a752a19ba23615a1e2"; sha256 = "101w4clmm9df4z8b166h4qgnvfbw9n95l5aid6yn3qn4pxjfvs67"; revdate = "2019-03-27T16:07:52Z"; }