1 2 3 4 5
{ rev = "94f65e354d09ded037e6ba724dc3eeed6d63778f"; sha256 = "026v3j22ill8rbnwgh099g8jnw9qgsqq5i7qlhbx36gy6kp0y1p8"; revdate = "2019-08-11T10:39:47Z"; }