Comparing builds

Builds solo5@2022-12-18 13:17:48Z on ubuntu-20.04 and solo5@2022-12-15 13:17:37Z on ubuntu-20.04

Compare in reverse direction

Opam packages with version changes

solo5-tenders.0.7.5->0.7.4