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

    samoht committed Jun 12, 2015
    git.1.5.0 - via opam-publish
  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

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

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

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

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

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

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

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

    whitequark committed Jun 12, 2015
    Sync OCaml compiler PRs
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

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

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

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

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

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

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

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

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

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

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

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

    samoht committed Jun 11, 2015
    Add a missing version constraint between mirage-http and mirage-conduit
  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