{"push_id":892889496,"size":19,"distinct_size":19,"ref":"refs/heads/master","head":"fb66527a8c25bf778c8fabaf69ef4141927a0e24","before":"9b4708d9987bc715418e5067368ed5f1f01140a2","commits":[{"sha":"bb78173bd05ace83ab500909733c17cf6b7991a7","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Symbol ':' replaced by '-' for Windows users","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/bb78173bd05ace83ab500909733c17cf6b7991a7"},{"sha":"cbafb669b4c1f0c617fe343004da944f8a890d3d","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Dependencies updated with ':' replaced by '-'","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/cbafb669b4c1f0c617fe343004da944f8a890d3d"},{"sha":"1698a2019166beb8fda1e0f48bcd4661b227e557","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"My packages removed","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/1698a2019166beb8fda1e0f48bcd4661b227e557"},{"sha":"7c8b54478cd6cedbc1ab358382cd1ab519539002","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Remaining : removed","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/7c8b54478cd6cedbc1ab358382cd1ab519539002"},{"sha":"d431f566c89f6b232f4b7a3548497096e1e46d0c","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Merge of the removing of colons","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/d431f566c89f6b232f4b7a3548497096e1e46d0c"},{"sha":"e13ce57338214e02285c19e7ba02b33f7f3e9397","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Merge branch 'clarus-master'","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/e13ce57338214e02285c19e7ba02b33f7f3e9397"},{"sha":"d793479e80f65556bb2fbce1b4363e1112a05659","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Falso package removed","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/d793479e80f65556bb2fbce1b4363e1112a05659"},{"sha":"ed25710dbd60c9415211c499627382be0cb6d52d","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Missing colon","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/ed25710dbd60c9415211c499627382be0cb6d52d"},{"sha":"1743bfa9e0913429e99e88e691eabf34e26990de","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Double coq prefix removed","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/1743bfa9e0913429e99e88e691eabf34e26990de"},{"sha":"51f445a2cac868306b2ccce050c5aeeb9224539c","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"New release of the OPAM website","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/51f445a2cac868306b2ccce050c5aeeb9224539c"},{"sha":"d54ec6db5247b1b9f047c712f1edafcb9e548e33","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"New release of coq-concurrency-system","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/d54ec6db5247b1b9f047c712f1edafcb9e548e33"},{"sha":"0600b86a51f85726a11765cb4c13ad626180d352","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"New release of Pluto","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/0600b86a51f85726a11765cb4c13ad626180d352"},{"sha":"ff5f4fda736471681bbda734d7e70f667dd9e935","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Wrong version name fixed","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/ff5f4fda736471681bbda734d7e70f667dd9e935"},{"sha":"b7f8218c21b6deee46818ebadff3c9d69f0e4d0b","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Fixed dependency for Pluto","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/b7f8218c21b6deee46818ebadff3c9d69f0e4d0b"},{"sha":"ea9aab1d2a486dbbdc7948ee28e337a66c1a1258","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Version of MathClasses for CoRN relaxed","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/ea9aab1d2a486dbbdc7948ee28e337a66c1a1258"},{"sha":"9b85110edf6659ef213f5a6b9243f4bad377b6d0","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Version of MathClasses to a commit hash","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/9b85110edf6659ef213f5a6b9243f4bad377b6d0"},{"sha":"a2b5c268b9cb423f061ebef3877b7c4955b010d2","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Update url","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/a2b5c268b9cb423f061ebef3877b7c4955b010d2"},{"sha":"70e5f48dc0ec8c2b430d082f68d48cbca413d059","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Corrected url","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/70e5f48dc0ec8c2b430d082f68d48cbca413d059"},{"sha":"fb66527a8c25bf778c8fabaf69ef4141927a0e24","author":{"email":"6c2d20c0261809f41f8166782e00714227562ada@inria.fr","name":"Hugo Herbelin"},"message":"Adding development packages for Coq 8.0, 8.1 and 8.2.","distinct":true,"url":"https://api.github.com/repos/herbelin/opam-coq-archive/commits/fb66527a8c25bf778c8fabaf69ef4141927a0e24"}]}