Comparing builds

Builds builder-web@2024-07-02 14:10:19Z on debian-12 and builder-web@2024-07-08 14:10:23Z on debian-12

Compare in reverse direction

New opam packages installed

jsonm.1.0.2
sha.1.15.4
swhid_core.0.1

Opam packages with version changes

opam-core.2.1.6->2.2.0
opam-format.2.1.6->2.2.0

System packages changed

libgssapi-krb5-2 1.20.1-2+deb12u1->1.20.1-2+deb12u2
libk5crypto3 1.20.1-2+deb12u1->1.20.1-2+deb12u2
libkrb5-3 1.20.1-2+deb12u1->1.20.1-2+deb12u2
libkrb5support0 1.20.1-2+deb12u1->1.20.1-2+deb12u2