GitHub PushEvent at 2014-09-10 09:52:38
Repository: testing-agda
Actor: joaopizani
Payload: {"shas":[["f0cb5a4e4be8032c7fd224de05429719d0a944b6","e63628b0f330d6d3c3eca1b138e95bb11d7b6189@students.uu.nl","[RED] Ported Converter module to stdlib 0.8.1\n\n  Probably due to a bug the conversion of existential properties\n  is broken.","Marco Vassena",false]],"size":1,"ref":"refs/heads/master","head":"f0cb5a4e4be8032c7fd224de05429719d0a944b6"}