{"shas":[["3c74e19ecf65764bbb595bccab7a0e0142c37296","2ab5dffb42a3e7f72a5da4dda8156124ac6d4d7d@gmail.com","make vimhol.sml less dependent on hol's Overlay\n\nso it's easier to just use with bare poly","Ramana Kumar"]],"ref":"refs/heads/master","size":1,"head":"3c74e19ecf65764bbb595bccab7a0e0142c37296","push_id":42962526}