GitHub CreateEvent at 2014-02-28 17:07:33
Repository: sat
Actor: c-cube
Payload: ref_type: repository
master_branch: master
description: sat-solver in OCaml, extracted from [0install](https://github.com/0install/0install/)
pusher_type: user