Comparing builds

Builds builder-web@2023-12-12 12:17:43Z on debian-10 and builder-web@2023-12-13 12:30:12Z on debian-10

Compare in reverse direction

• 1 Opam packages with changes in their opam file
• 1 System packages changed

Opam packages with changes in their opam file

builder.0.3.99~dev

URL

old: src: "git+https://github.com/robur-coop/builder.git#d1f85e0e34554413f613e356e12f3c28eefcbc49"
new: src: "git+https://github.com/robur-coop/builder.git#bb3a686723b8dbfe00aea41efd21c5157fa0a3de"

System packages changed

builder 0.3.2->0.3.2-15-gbb3a686