Comparing builds

Builds builder-web@2021-09-09 15:35:17Z on debian-10 and builder-web@2021-09-11 15:35:18Z 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.0.1~dev

URL

old: src: "git+https://git.robur.io/robur/builder-web.git#dd653529"
new: src: "git+https://git.robur.io/robur/builder-web.git#71a016fd"