Comparing builds

Builds builder-web@2023-12-15 12:24:03Z on debian-10 and builder-web@2023-12-14 12:46:41Z on debian-10

Compare in reverse direction

• 1 Opam packages with changes in their opam file

Opam packages with changes in their opam file

builder-web.0.2.0~dev

URL

old: src: "git+https://git.robur.coop/robur/builder-web.git#7f3a6719e23677147c8e5de0ca442ba083a00ff0"
new: src: "git+https://git.robur.coop/robur/builder-web.git#46d8ba611c83782b31e5be7c5d95cf18de995957"