Comparing builds

Builds builder-web@2022-02-24 15:59:28Z on ubuntu-20.04 and builder-web@2022-02-23 15:48:22Z on ubuntu-20.04

Compare in reverse direction

Opam packages removed

solo5-elftool.0.3.0

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#6f3c89c9"
new: src: "git+https://git.robur.io/robur/builder-web.git#485515e4"