1 2 3 4 5
{ rev = "765d626d178bf22d6e7708c8a8b41c092098da18"; sha256 = "1ax6fp7r1ks6g9hd0hik830y27z4p3jsb39l561dwd16xkshj6f1"; revdate = "2019-07-13T07:10:33Z"; }