{"push_id":838215337,"size":59,"distinct_size":59,"ref":"refs/heads/master","head":"cba85a855af3cb6f0a3e4c46653f24e1eef36cb2","before":"ae3e6487fc9d153568148156d9a6d62b09ee41f7","commits":[{"sha":"4522fedaf05e0759e7736268a9815660f098e682","author":{"email":"994114450af8c3d2bb3099b18334c7124ffd93e3@inria.fr","name":"Claude Marche"},"message":"why 2.35 does not recognize why3 0.86.1, should only be compiled with\n0.84, 0.85 or 0.86","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/4522fedaf05e0759e7736268a9815660f098e682"},{"sha":"4b0a59562267592cf8c6a9cdd6c7612f4b789d76","author":{"email":"994114450af8c3d2bb3099b18334c7124ffd93e3@inria.fr","name":"Claude Marche"},"message":"Merge remote-tracking branch 'opam/master'","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/4b0a59562267592cf8c6a9cdd6c7612f4b789d76"},{"sha":"0e7ab9f0970b2b425c2f81867569fd353cc598ed","author":{"email":"994114450af8c3d2bb3099b18334c7124ffd93e3@inria.fr","name":"Claude Marche"},"message":"maintainer of Why3 package","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/0e7ab9f0970b2b425c2f81867569fd353cc598ed"},{"sha":"72756c782bfbd9970078e814dda9abe46f4fbf0b","author":{"email":"994114450af8c3d2bb3099b18334c7124ffd93e3@inria.fr","name":"Claude Marche"},"message":"mistake in dependency over Why3","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/72756c782bfbd9970078e814dda9abe46f4fbf0b"},{"sha":"53efc909bda9f3c136da35b98ecf7be97a391f67","author":{"email":"2755a0d03c6c2c5117e6c270c48b13987fef23ad@gmail.com","name":"Thomas Leonard"},"message":"irmin-indexeddb conflicts with irmin 0.10","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/53efc909bda9f3c136da35b98ecf7be97a391f67"},{"sha":"1d1e7e6da88a0a44cf534e26ab79a1f0e01180e0","author":{"email":"2755a0d03c6c2c5117e6c270c48b13987fef23ad@gmail.com","name":"Thomas Leonard"},"message":"+ irmin-indexeddb 0.3","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/1d1e7e6da88a0a44cf534e26ab79a1f0e01180e0"},{"sha":"87ecac1fe37ded3a77afcf3b7c40551031a616e9","author":{"email":"994114450af8c3d2bb3099b18334c7124ffd93e3@inria.fr","name":"Claude Marche"},"message":"Merge remote-tracking branch 'opam/master' into why-why3-dependencies","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/87ecac1fe37ded3a77afcf3b7c40551031a616e9"},{"sha":"0c7ee60002c41c52284e53b251b102ea7d580c34","author":{"email":"ff9ab3e0493661a48402120b7585a87a84d80172@gmail.com","name":"yallop"},"message":"Merge pull request #5000 from talex5/irmin-idb-0.3\n\n+ Irmin-IndexedDB 0.3","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/0c7ee60002c41c52284e53b251b102ea7d580c34"},{"sha":"3f47aca35f79f702d4e3fcd49658a5083d3f7671","author":{"email":"5f50a84c1fa3bcff146405017f36aec1a10a9e38@gazagnaire.com","name":"Thomas Gazagnaire"},"message":"Merge pull request #5004 from claudemarche/why-why3-dependencies\n\nWhy why3 dependencies","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/3f47aca35f79f702d4e3fcd49658a5083d3f7671"},{"sha":"fd2ca1fb7a62807f5eb3d88b91ad2dc3fa5c2a97","author":{"email":"31b857c84ef8b5a36e0408d32d21a2c72c6b4dca@umons.ac.be","name":"Christophe Troestler"},"message":"+csv 1.4.2","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/fd2ca1fb7a62807f5eb3d88b91ad2dc3fa5c2a97"},{"sha":"72d17a07fdbcf7060d9cc7847917a2ac6f5e6014","author":{"email":"3a02579c191f8558e3fedece867419cb15398b26@recoil.org","name":"Anil Madhavapeddy"},"message":"Sync latest compiler pull requests","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/72d17a07fdbcf7060d9cc7847917a2ac6f5e6014"},{"sha":"0da63bf57413a9c46994af20d87263e0eb4bc224","author":{"email":"ff9ab3e0493661a48402120b7585a87a84d80172@gmail.com","name":"yallop"},"message":"Merge pull request #5006 from Chris00/master\n\n+csv 1.4.2","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/0da63bf57413a9c46994af20d87263e0eb4bc224"},{"sha":"266ade42060f9832f76cf23b937862c19fb2a254","author":{"email":"ff9ab3e0493661a48402120b7585a87a84d80172@gmail.com","name":"yallop"},"message":"Merge pull request #5007 from bactrian/sync-prs-1445036401\n\nSync OCaml compiler PRs","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/266ade42060f9832f76cf23b937862c19fb2a254"},{"sha":"5cff7f1568c6fafb9902886d8333bdec19032c4e","author":{"email":"03c9e8cd16abc1b20fe5d0b70aedbc0b975c1d2d@riken.jp","name":"Francois Berenger"},"message":"fix for osx","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/5cff7f1568c6fafb9902886d8333bdec19032c4e"},{"sha":"8c304bf2af78ae1d0944f4e3a1b5ff25aaa467b3","author":{"email":"331be22c6b63ca3e0a03d408c2d906b1b02cd5f2@mehnert.org","name":"Hannes Mehnert"},"message":"FreeBSD fixes: env perl and CC=cc\n\non FreeBSD, there is no longer any /usr/bin/perl, but rather /usr/local/bin/perl\n(also, passing -W to env is not supported, but perl behaves the same with\nuse warnings \"all\";)\n\nalso, there is no gcc anymore; rather an executable called cc (manually\nsetting CFLAGS to those from configure to avoid unoptimised code).","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/8c304bf2af78ae1d0944f4e3a1b5ff25aaa467b3"},{"sha":"60e31be10ce33917ad67be84e8c85314d5cd4e5c","author":{"email":"3a02579c191f8558e3fedece867419cb15398b26@recoil.org","name":"Anil Madhavapeddy"},"message":"Sync latest compiler pull requests","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/60e31be10ce33917ad67be84e8c85314d5cd4e5c"},{"sha":"ae49030abe5784c05f9ac775feae9f6de6f3f8b3","author":{"email":"63c9eb0ea83039690fefa11afe17873ba8278a56@unikernel.com","name":"David Scott"},"message":"Add xenctrl.0.9.30\n\nSigned-off-by: David Scott <dave.scott@unikernel.com>","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/ae49030abe5784c05f9ac775feae9f6de6f3f8b3"},{"sha":"939eed7d63e2ed78961a0d03c22bf2b92df10f46","author":{"email":"ff9ab3e0493661a48402120b7585a87a84d80172@gmail.com","name":"yallop"},"message":"Merge pull request #5011 from bactrian/sync-prs-1445122801\n\nSync OCaml compiler PRs","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/939eed7d63e2ed78961a0d03c22bf2b92df10f46"},{"sha":"98944eeb19393ae3d23450e687d6f03201f03184","author":{"email":"9f82a31171802b02d7dad702895699a6175a1a03@gmail.com","name":"Julien Sagot"},"message":"Upgrade ocveralls to version 0.3.2.","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/98944eeb19393ae3d23450e687d6f03201f03184"},{"sha":"49a21f248baee07a0d569c9480db6d3d36ebca1a","author":{"email":"0ed5a6a8e383678659d585dd8b0f2b2d5658039d@gmail.com","name":"Adriaan"},"message":"base58 added","distinct":true,"url":"https://api.github.com/repos/fpottier/opam-repository/commits/49a21f248baee07a0d569c9480db6d3d36ebca1a"}]}