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-web OPAMROOT=/tmp PREFIX=/tmp/myswitch PKG_CONFIG_PATH=/tmp/myswitch/lib/pkgconfig SWITCH_PATH=myswitch ORB_DATA=2 OS_FAMILY=debian OS_VERSION=10 OS_DISTRIBUTION=debian OS=linux