HOME=/root PATH=/bin:/sbin:/usr/bin:/usr/local/bin:/usr/local/sbin:/usr/sbin SOURCE_DATE_EPOCH=1589138087 OPAMSOLVERTIMEOUT=600 OPAMERRLOGLEN=0 ORB_BUILDING_PACKAGE=builder PREFIX=/tmp/myswitch/build/_opam PKG_CONFIG_PATH=/tmp/myswitch/build/_opam/lib/pkgconfig SWITCH_PATH=/tmp/myswitch/build OS_FAMILY=debian OS_VERSION=11 OS_DISTRIBUTION=debian OS=linux