GitHub PushEvent at 2014-04-28 23:35:33
Repository: FStar
Actor: strub
Payload: {"shas":[["dd99847f43f9f9cb4e3582801034ac486dbfbf20","3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","Cache width in formatter","Pierre-Yves Strub",true],["ce951ba0e357deb9518b40d23c8ab4f49ce0123e","3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","More on the OCaml backend (nameenv API + better recognition of idiomatic patterns)","Pierre-Yves Strub",true]],"size":2,"ref":"refs/heads/master","head":"ce951ba0e357deb9518b40d23c8ab4f49ce0123e"}