GitHub PushEvent at 2014-02-07 20:53:53
Repository: Sources
Actor: jakobkroeker
Payload: {"shas":[["427c8aba837b316d944b1a9e17c3aa9e7a60e42c","7e918aff73354e7ca4b3a1b56df27625c35b20b5@math.uni-hannover.de","fix proposal for  variable conflicts in primdec.lib","Jakob Kröker",true]],"size":1,"ref":"refs/heads/fix.hardcoded.variables.inPrimdec","head":"427c8aba837b316d944b1a9e17c3aa9e7a60e42c"}