{"push_id":612029844,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"2e8e5cc85bfb7f2339fc38babd2dec0026ff5aa4","before":"b9048e5347c207b832d2bf2af022322025e59c08","commits":[{"sha":"2e8e5cc85bfb7f2339fc38babd2dec0026ff5aa4","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"Functorized interface over object representation in votour.\n\nThis gives more safety in object manipulation, as we delimit the uses\nof Obj functions, and allows for an alternative implementation of the\nrepresentation of OCaml structures.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/2e8e5cc85bfb7f2339fc38babd2dec0026ff5aa4"}]}