{"ref":"v1.4.2","ref_type":"tag","master_branch":"master","description":"TouIST, the IDE & language for logic (backed by SAT/SMT solvers)","pusher_type":"user"}
{"actor":{"display_login":"maelvalais"}}