{"push_id":842462462,"size":5,"distinct_size":5,"ref":"refs/heads/issue-123","head":"43a65206f8cd4bfb99dc8638ddee83f8dca23285","before":"e2e4ea9f9b82d50419ea1f9cab349bb11214bb28","commits":[{"sha":"5d164dc4d0ce3067ee567e9e28c1047297aac298","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"Remove lua_cliargs dependency for both client an server modes.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/5d164dc4d0ce3067ee567e9e28c1047297aac298"},{"sha":"0bf2dca5a9b9b9dbb2f01396549218f11a36ef55","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"Differentiate for server/client final usage messages.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/0bf2dca5a9b9b9dbb2f01396549218f11a36ef55"},{"sha":"d0b0378a4565fd19136ec575b7fd385d69492614","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"(In uninstall for client mode) Removed stop server.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/d0b0378a4565fd19136ec575b7fd385d69492614"},{"sha":"60f3b73c1a798c78874fd5a8fb143931f903bcaf","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"Add perl and build-essential dependencies to client.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/60f3b73c1a798c78874fd5a8fb143931f903bcaf"},{"sha":"43a65206f8cd4bfb99dc8638ddee83f8dca23285","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"Suppressed server shell ion client mode.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/43a65206f8cd4bfb99dc8638ddee83f8dca23285"}]}