{"shas":[["8e17e4ce14d1b5ddc99f955f560300bd634a73c1","2ea0201bcf9486f2aba1b3751f12179d334d0269@gmail.com","Finger trees: alias build for buildLeft","odf"]],"ref":"refs/heads/master","size":1,"head":"8e17e4ce14d1b5ddc99f955f560300bd634a73c1","push_id":34405875}