Comparing builds
Builds builder-web@2021-07-29 14:19:34Z on debian-10 and builder-web@2021-07-29 14:51:02Z on debian-10
Compare in reverse direction
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#392286dd"new: src: "git+https://git.robur.io/robur/builder-web.git#147163a9"