{"push_id":866100073,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aee0e0cbfd6241aac5b2bcd00558e3c010f6d366","before":"b2cefa14f4d30cc4ca287817c462cdf3f50a562c","commits":[{"sha":"aee0e0cbfd6241aac5b2bcd00558e3c010f6d366","author":{"email":"ad801198a9fab4e4ef79eb97624a4bf9c78b450a@seereason.com","name":"David Fox"},"message":"atp-haskell modules moved to Data.Logic.ATP","distinct":true,"url":"https://api.github.com/repos/seereason/logic-classes/commits/aee0e0cbfd6241aac5b2bcd00558e3c010f6d366"}]}