GitHub CreateEvent at 2014-05-20 13:53:17
Repository: packages-chr
Actor: JanWielemaker
Payload: ref: V7.1.15
ref_type: tag
master_branch: master
description: CHR: Leuven Constraint Handling Rules
pusher_type: user