GitHub CreateEvent at 2014-03-30 23:21:32
Repository: recogbase
Actor: fingolfin
Payload: ref: v1.2.1
ref_type: tag
master_branch: master
description: GAP package recogbase for constructive recognition of groups
pusher_type: user