Comparing builds

Builds builder-web@2023-05-28 14:38:47Z on debian-11 and builder-web@2023-05-25 14:38:44Z on debian-11

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 (and additional changes)

URL

old: src: "git+https://git.robur.io/robur/builder-web.git#62965d4f"
new: src: "git+https://git.robur.io/robur/builder-web.git#e7b3e135"