1DOLLY 72PACKAGE boost-headers3REQUIRES HOST runtime@045678FROM /v0.1.5/Dollyfile-system-tools 39e8ad7c80d06b7a0c420bbeaae2e6b2423e7e633d38640e82d72a73c20e232a9REQUIRES TOOL gzip10REQUIRES TOOL rm11REQUIRES TOOL tar1213SOURCE /v0.1.5/dist/static/boost-headers/source.tar.gz 1282930222d16b3b7df0697a1632f6631e79efa7437e8ab50a690d3e91ea9e7c /tmp/boost-headers.tar.gz14SLOP gzip -dc /tmp/boost-headers.tar.gz | tar -xf - -C /1516EXPORTS HEADER /usr/include/boost17FILE /usr/share/licenses/boost/LICENSE_1_0.txt18SLOP rm /tmp/boost-headers.tar.gz19