Comparing builds

Builds builder-web@2021-10-15 14:01:13Z on debian-10 and builder-web@2021-10-20 14:01:13Z on debian-10

Compare in reverse direction

• 6 Opam packages with version changes
• 2 Opam packages with changes in their opam file

Opam packages with version changes

digestif.1.0.1->1.1.0
menhir.20210929->20211012
menhirLib.20210929->20211012
menhirSdk.20210929->20211012
prettym.0.0.1->0.0.2
unstrctrd.0.2->0.3


Opam packages with changes in their opam file

mirage-crypto-pk.0.10.3 (and additional changes)

builder-web.0.0.1~dev

URL

old: src: "git+https://git.robur.io/robur/builder-web.git#c9f8a168"
new: src: "git+https://git.robur.io/robur/builder-web.git#87a6b95e"