Comparing builds

Builds builder@2022-12-16 11:47:51Z on debian-10 and builder@2022-12-22 11:52:48Z on debian-10

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