GitHub PushEvent at 2014-10-07 20:06:17
Repository: yap-6.3
Actor: vscosta
Payload: {"shas":[["ad82a2619d29309a0f54e5772128f2b48f997eaf","ec5c2f339ca07531e81172c361c1a1f5a127a7a2@dcc.fc.up.pt","compute mian functor correctly a(X), [Y] <-- b(X,Y).","Vítor Santos Costa",true]],"size":1,"ref":"refs/heads/master","head":"ad82a2619d29309a0f54e5772128f2b48f997eaf"}