GitHub PushEvent at 2014-11-12 16:00:01
Repository: CategoriesForHomalg
Actor: sebasguts
Payload: {"shas":[["150eba0de80b78bd3bd0643a896d422fcca1069b","00f95a1efbc7f36ab99fc5d97005fce728d59625@momo.math.rwth-aachen.de","Eval rule parser functions.","Sebastian Gutsche",true]],"size":1,"ref":"refs/heads/logic_parser_devel","head":"150eba0de80b78bd3bd0643a896d422fcca1069b"}