Skip to content

Commit abbdf59

Browse files
authored
Merge pull request #88 from gergoerdi/master
Update to OCaml 4.13, to fix build on some modern Linux systems
2 parents c69fc17 + c9dadd7 commit abbdf59

File tree

35 files changed

+1024
-581
lines changed

35 files changed

+1024
-581
lines changed

esy.lock/index.json

Lines changed: 487 additions & 293 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/base-bigarray.base/opam

Lines changed: 6 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/base-bytes.base/opam

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/biniou.1.2.1/opam

Lines changed: 0 additions & 45 deletions
This file was deleted.

esy.lock/opam/cmdliner.1.1.0/opam renamed to esy.lock/opam/cmdliner.1.1.1/opam

Lines changed: 24 additions & 18 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/cppo.1.6.8/opam renamed to esy.lock/opam/cppo.1.6.9/opam

Lines changed: 21 additions & 19 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/dot-merlin-reader.4.1/opam

Lines changed: 0 additions & 30 deletions
This file was deleted.

esy.lock/opam/dot-merlin-reader.4.5/opam

Lines changed: 30 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/dune-build-info.2.9.3/opam renamed to esy.lock/opam/dune-build-info.3.3.1/opam

Lines changed: 8 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

esy.lock/opam/dune-rpc.3.3.1/opam

Lines changed: 43 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)