Permalink
Commits on Jul 10, 2015
Commits on Jun 12, 2015
  1. Merge pull request #4225 from samoht/opam-publish/git.1.5.0

    git.1.5.0 - via opam-publish
    samoht committed Jun 12, 2015
  2. git.1.5.0 - via opam-publish

    samoht committed Jun 12, 2015
  3. Merge pull request #4224 from samoht/opam-publish/mirage-seal.0.3.0

    mirage-seal.0.3.0 - via opam-publish
    samoht committed Jun 12, 2015
  4. Fix the description

    samoht committed Jun 12, 2015
  5. Merge pull request #4223 from samoht/master

    Fix quickcheck checksum
    samoht committed Jun 12, 2015
  6. Fix quickcheck checksum

    samoht committed Jun 12, 2015
  7. Merge pull request #4211 from samoht/mirage-2.5.0

    Add the 2.5.0 release of mirage
    samoht committed Jun 12, 2015
  8. Merge pull request #4220 from samoht/opam-publish/dog.0.2.0

    dog.0.2.0 - via opam-publish
    samoht committed Jun 12, 2015
  9. Merge pull request #4219 from samoht/master

    Fix conflicts between conduit and mirage
    whitequark committed Jun 12, 2015
  10. Merge pull request #4221 from bactrian/sync-prs-1434063601

    Sync OCaml compiler PRs
    whitequark committed Jun 12, 2015
Commits on Jun 11, 2015
  1. dog.0.2.0 - via opam-publish

    samoht committed Jun 11, 2015
  2. Sync latest compiler pull requests

    avsm committed Jun 11, 2015
  3. Merge pull request #4218 from samoht/master

    Fix Irmin checksum
    samoht committed Jun 11, 2015
  4. Fix Irmin checksum

    samoht committed Jun 11, 2015
  5. Merge pull request #4217 from ocaml/revert-3298-master

    Revert "Add Z3 package"
    samoht committed Jun 11, 2015
  6. Revert "Add Z3 package"

    samoht committed Jun 11, 2015
  7. Merge pull request #4212 from djs55/rpc.1.5.4

    Add rpc.1.5.4
    samoht committed Jun 11, 2015
  8. Merge pull request #3298 from zkincaid/master

    Add Z3 package
    samoht committed Jun 11, 2015
  9. Merge pull request #4215 from ivg/lwt-parallel

    Add lwt-parallel library.
    samoht committed Jun 11, 2015
  10. More mirage dependencies fixes

    samoht committed Jun 11, 2015
  11. Merge pull request #4216 from samoht/master

    Fix irmin 0.9.5 checksum
    samoht committed Jun 11, 2015
  12. Merge pull request #4213 from c-cube/qcheck-0.4

    bugfix in qcheck
    samoht committed Jun 11, 2015
  13. Fix irmin 0.9.5 checksum

    samoht committed Jun 11, 2015
  14. Merge pull request #4214 from samoht/master

    Add a missing version constraint between mirage-http and mirage-conduit
    samoht committed Jun 11, 2015
  15. Clean-up mirage dependencies

    samoht committed Jun 11, 2015
  16. mirage-http does not use camlp4

    samoht committed Jun 11, 2015
  17. Add lwt-parallel library.

    ivg committed Jun 11, 2015