Comparing builds
Builds builder-web@2024-07-02 14:10:19Z on debian-12 and builder-web@2024-07-07 14:05:00Z 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