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=mirage-unikernel-contruno-monitoring-hvt OPAMROOT=/tmp PREFIX=/tmp/myswitch SWITCH_PATH=myswitch ORB_DATA=2 ARCH=x86_64 OS_FAMILY=debian OS_VERSION=12 OS_DISTRIBUTION=debian OS=linux