Comparing builds

Builds solo5-hvt@2022-08-04 09:36:15Z on debian-10 and solo5-hvt@2022-09-14 14:50:45Z on debian-10

Compare in reverse direction

New environment variables added

OPAMROOT /tmp
ORB_DATA 2

Environment variables changed

PKG_CONFIG_PATH /tmp/myswitch/build/_opam/lib/pkgconfig->/tmp/myswitch/lib/pkgconfig
PREFIX /tmp/myswitch/build/_opam->/tmp/myswitch
SWITCH_PATH /tmp/myswitch/build->myswitch

System packages changed

libcurl3-gnutls 7.64.0-4+deb10u2->7.64.0-4+deb10u3
libgssapi-krb5-2 1.17-3+deb10u3->1.17-3+deb10u4
libk5crypto3 1.17-3+deb10u3->1.17-3+deb10u4
libkrb5-3 1.17-3+deb10u3->1.17-3+deb10u4
libkrb5support0 1.17-3+deb10u3->1.17-3+deb10u4
orb 0.0.1-3-gf4833d3->0.0.2-4-ged60f97