GitHub CreateEvent at 2014-10-05 20:44:00
Repository: fr
Actor: laurentbartholdi
Payload: ref: cp
ref_type: branch
master_branch: master
description: Functionally recursive (automata) groups in GAP
pusher_type: user