{"shas":[["9975a42f3261d2a994bb0af52023288a41b51e0d","ffb4761cba839470133bee36aeb139f58d7dbaa9@plugapps.com","remove core/cloog-ppl - replaced by cloog a long time ago, in a galaxy far far away..","Kevin Mihelich"]],"ref":"refs/heads/master","size":1,"head":"9975a42f3261d2a994bb0af52023288a41b51e0d","push_id":34331128}