{"push_id":580191028,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c76e65bba9023d22bf3a787e2e568eca434dbc1d","before":"f8a2f8da9965dd0cfe445c4cb0f96c3d655b399c","commits":[{"sha":"c76e65bba9023d22bf3a787e2e568eca434dbc1d","author":{"email":"ec9d7522c5c8388d4d8379d6861971bcf077106c@math.unifi.it","name":"Marco Maggesi"},"message":"Update HOL Light to rev 219","distinct":true,"url":"https://api.github.com/repos/maggesi/nixconfs/commits/c76e65bba9023d22bf3a787e2e568eca434dbc1d"}]}