GitHub PushEvent at 2014-11-27 18:33:55
Repository: hipspec
Actor: danr
Payload: {"shas":[["6df0d6391fac6b5c7b76e1f2d2dbfd370071bab3","1943a4aedc433cd5d7dbaea238b29d9a8ec2edd9@chalmers.se","Generate new symbolic value functions [ci skip]","Dan Rosén",true]],"size":1,"ref":"refs/heads/hbmc","head":"6df0d6391fac6b5c7b76e1f2d2dbfd370071bab3"}