{"push_id":850006031,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"514bddb6da700161b4bb4cbc33c7cf0c4e67a795","before":"fad262ab6832ceb5174769c2d62ee5efa3cc933f","commits":[{"sha":"514bddb6da700161b4bb4cbc33c7cf0c4e67a795","author":{"email":"bbbe0b7bb637ab674d49618e0a81ffdb09351db7@forsyte.at","name":"Henning Günther"},"message":"Remove smtlib2-emulated-datatypes as a dependency","distinct":true,"url":"https://api.github.com/repos/hguenther/vvt/commits/514bddb6da700161b4bb4cbc33c7cf0c4e67a795"}]}