{"push_id":2449664559,"size":1,"distinct_size":1,"ref":"refs/heads/api+vernac_expr_iso","head":"e50e573a213dd5b8a11380575fb3e1c4cc181baf","before":"8936cccfdb1dba695500c064ad2d3cc8aebfb9b2","commits":[{"sha":"e50e573a213dd5b8a11380575fb3e1c4cc181baf","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[api] Remove dependency of library on Vernacexpr.\n\nMorally, `library` should not depend on the vernacular\ndefinition. This will also create problems when trying to modularize\nthe codebase due to the cycle [vernacs depend for example on\nconstrexprs].\n\nThe fix is fortunately easy.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/e50e573a213dd5b8a11380575fb3e1c4cc181baf"}]}
{"actor":{"display_login":"ejgallego"}}