Comparing builds

Builds solo5@2022-11-15 10:11:16Z on debian-10 and solo5@2022-11-28 11:01:19Z on debian-10

Compare in reverse direction

Opam packages with version changes

solo5-tenders.0.7.3->0.7.4