Reproducible builds with OCaml / opam and MirageOS

I wrote up recent developments about reproducible builds with opam – including some tooling https://hannes.nqsb.io/Posts/ReproducibleOPAM

Thanks to everyone involved in the effort to get OCaml and opam deterministic

The journey is not yet finished, we’re in a pretty good shape, but further testing and tooling is needed to expose the information “is my library reproducible?” to OCaml developers.

I’m interested in feedback, please let us discuss this further here in case you’re interested. :smiley:

This coq issue and discussion is a very interesting read (and may help to solve the cma/… divergences in OCaml that are observable).

10 Likes

An absolutely amazing cross-layer effort; well done on pushing all this through @hannes! I really enjoyed reading the minutes of the Paris summit last year: https://reproducible-builds.org/events/paris2018/report/#Toc11681_331763073

2 Likes

Debian people might be interested by this.
Since Debian is trying to have more package with a reproducible build
and they ship a lot of OCaml packages.