GitHub PushEvent at 2014-01-15 14:10:17
Repository: zephyrus
Actor: jakub-zwolakowski
Payload: {"shas":[["705b4a28c952ff2b6588db7a61d462af7a3addf6","74f6ffd1dbbc24cd6f801f14b2c1f40948e23595@gmail.com","Added a \"map_to_list\" function to th Data_common_map.Map module.","Jakub Zwolakowski",true],["cd3ff6fbf3cb2986cfd7448c7cf0d9205de187f6","74f6ffd1dbbc24cd6f801f14b2c1f40948e23595@gmail.com","Added the Incompatibilities_of.universe function and rewrote the corresponding Json_binpacking_problem_of module part.","Jakub Zwolakowski",true]],"size":2,"ref":"refs/heads/master","head":"cd3ff6fbf3cb2986cfd7448c7cf0d9205de187f6"}