Comparing builds

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

Compare in reverse direction

Opam packages removed

jsonm.1.0.2
sha.1.15.4
swhid_core.0.1

Opam packages with version changes

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

System packages changed

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