Comparing builds

Builds builder@2024-12-17 18:43:33Z on debian-12 and builder@2024-12-12 19:03:50Z on debian-12

Compare in reverse direction

Opam packages with changes in their opam file

builder.0.4.99~dev

URL
old: src: "git+https://github.com/robur-coop/builder.git#d06e5ae6b5fbbc60773adf09ae7d843e0f06e634"
new: src: "git+https://github.com/robur-coop/builder.git#fc5ea30494ebd309f66ee441a86ce8333c564dff"