Comparing builds
Builds builder-web@2024-07-08 14:10:23Z 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