Comparing builds

Builds solo5@2022-12-18 10:11:50Z on debian-10 and solo5@2022-12-17 12:06:30Z on debian-10

Compare in reverse direction

Opam packages with version changes

solo5-tenders.0.7.5->0.7.4