GitHub CreateEvent at 2014-11-25 11:11:29
Repository: piware-agda
Actor: joaopizani
Payload: ref: slides-dtp2014
ref_type: branch
master_branch: master
description: Repository containing only the agda source code of the PiWare project
pusher_type: user