{"push_id":690403189,"size":1,"distinct_size":1,"ref":"refs/heads/wip/prim-decls","head":"791876122d525b27f626dc52316f1573e407178b","before":"fb98af636a3b9492051c66914d149d2834756f73","commits":[{"sha":"791876122d525b27f626dc52316f1573e407178b","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix for 7.8","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/791876122d525b27f626dc52316f1573e407178b"}]}