Changes in frama-c:
- Unbundle flamegraph
- Install bash completions in the right place
Changes in ocaml-biniou 1.2.1:
- Remove which dependency (#25)
- Migrate to dune (#29)
- Generate opam file from dune and port to opam 2.0 (#30)
Changes in ocaml-easy-format 1.3.2:
- Port from jbuilder to dune. (#24)
- Port to opam 2.0 and make dune a non build dependency (#25)
Changes in ocaml-zarith 1.9:
- Issue #50: add opam file, make it easy to "opam publish" new versions
- Issue #38: configure detects 32bit OCaml switch on 64bit host
- Fix #36: change Q.equal, leq, geq comparisons for undef
- Request #47: move infix comparison operators of Z in submodule, avoid shadowing the polymorphic compare
- Fix #49: INT_MAX undeclared
- Request #46: add prefixnonocaml option ()
- Request #45: fix ocamllibdir/caml/mlvalues.h bug (Cygwin)
- Fix: attempting to build numbers too large for GMP raises an OCaml exception instead of crashing with "gmp: overflow in mpz type"
All other package updates are rebuilds due to the changes above.
Please login to add feedback.