10:34 <h01ger> so shall we talk about reproducible mirage? i just noticed mirage is not listened on https://reproducible-builds.org/who/ (and neither is opam) and then i wondered whether there would be an url to point too..

10:35 <h01ger> (to either some docs explaining how to or to some site where test results are shown)

10:35 <h01ger> (and 'talk' as in that physical activity without electricity)

11:03 <h01ger> but then, there are no binary releases of mirageos (yet), except maybe (soon?) qubes-mirage-firewall and qubes-mirage-sshthingy

12:31 <apache2> in opam you can check in various binary files in addition to source code. maybe step 1 would be identifying when that happens?

12:32 <h01ger> maybe yes

12:32 <apache2> apart from CI I don't think anyone is building publicly available binary packages for opam source releases

12:32 <apache2> and the ci stuff is afaik not stored once they are verified to build

12:33 <apache2> in addition to that we don't have CI for all the supported platforms (not even OCaml itself has that)

12:34 <apache2> for opam for instance having plain old x86 32-bit intel CI would be great (as would 32-bit arm)

12:35 <apache2> so I guess we're waiting for someone to volunteer resources and/or time for that

12:37 <apache2> (we need both but not necessarily from the same people)

12:42 <h01ger> as said i'm thinking how to add mirage or opam to https://reproducible-builds.org/who/ but that needs some content, not just a logo

12:56 <smondet[m]> mirage may make sense but AFAIU by their definition `opam` does not do reproducible builds by itself (it's a feature, not a bug, to build ocaml stuff assuming a little as possible from system libraries and tools)

12:58 <apache2> smondet[m]: once there's tooling to check if it happens or not, it could be made policy :)