Comparing builds

Builds builder@2022-12-16 11:51:39Z on debian-11 and builder@2022-12-22 11:56:50Z on debian-11

Compare in reverse direction

• 1 Opam packages with changes in their opam file
• 1 System packages changed

Opam packages with changes in their opam file

num.1.4 (and additional changes)

System packages changed