Comparing builds

Builds solo5@2022-12-17 12:06:56Z on ubuntu-18.04 and solo5@2022-12-28 10:48:15Z on ubuntu-18.04

Compare in reverse direction

Opam packages with version changes

solo5-tenders.0.7.4->0.7.5