{"push_id":1112492719,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e8388cf86abf15d9cb0f6ec230c726b8b7ca5c80","before":"1abe6fdba6ee928f9aaa8abda48e1c8301cfd866","commits":[{"sha":"d3d1627443f3d2be8947fad46ab22b008a194e28","author":{"email":"fbd54dbbcf9e596abad4ccdc4dfc17f80ebeaee2@icloud.com","name":"ilovezfs"},"message":"ssreflect: vendor Coq 8.4\n\nFixes\n\n  File \"src/ssrmatching.mli\", line 76, characters 14-34:\n  Error: Unbound type constructor glob_constr_and_expr\n  make[1]: *** [src/ssrmatching.cmi] Error 2\n  make: *** [all] Error 2\n\nAlso, add a test.\n\nUpgrading the formula to mathcomp/ssreflect 1.6 will allow Coq 8.5 to\ndisplace the vendored Coq 8.4.\n\nCloses #1166.\n\nSigned-off-by: ilovezfs <ilovezfs@icloud.com>","distinct":true,"url":"https://api.github.com/repos/Homebrew/homebrew-core/commits/d3d1627443f3d2be8947fad46ab22b008a194e28"},{"sha":"e8388cf86abf15d9cb0f6ec230c726b8b7ca5c80","author":{"email":"aa7ada780dbf2380b352a70aaa93ceb8b17028b0@googlegroups.com","name":"BrewTestBot"},"message":"ssreflect: add 1.5_1 bottle.","distinct":true,"url":"https://api.github.com/repos/Homebrew/homebrew-core/commits/e8388cf86abf15d9cb0f6ec230c726b8b7ca5c80"}]}