Skip to content

1.1.1
Compare
Choose a tag to compare
@sim642 sim642 released this 29 Nov 14:11
· 9665 commits to master since this release
v1.1.1
c35cb34

CHANGES:

  • Added lower bounds to dependencies (zarith, ocaml-monadic, sha, conf-gmp).
  • Fixed ounit2 library for unit tests.
  • Disabled kernel regression tests when linux-headers couldn't be downloaded (e.g. in opam-repository opam-ci).
  • Fixed dune-site in opam install by requiring dune 2.9.1.
Assets 3
Loading