Comparing builds

Builds builder-web@2023-09-25 14:40:34Z on debian-11 and builder-web@2023-09-27 14:40:36Z 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

URL

old: src: "git+https://git.robur.coop/robur/builder-web.git#fde834ad02a1e77ad3d46d2d5ef9c38f644255fd"
new: src: "git+https://git.robur.coop/robur/builder-web.git#46f93c28ea1b2bf0b7866e7aeb7da80d8fc6604b"