1.1--- a/Containerfile.box	Mon Jan 15 23:25:38 2024 -0500
     1.2+++ b/Containerfile.box	Tue Jan 16 22:02:03 2024 -0500
     1.3@@ -12,7 +12,7 @@
     1.4 RUN hg clone https://vc.compiler.company/comp/core
     1.5 WORKDIR infra
     1.6 RUN sh scripts/install-sbcl-pack.sh
     1.7-# RUN sh scripts/install-rocksdb-pack.sh
     1.8+RUN sh scripts/install-rocksdb-pack.sh
     1.9 RUN make quicklisp-install
    1.10 RUN make ts-langs-install
    1.11 COPY etc/sbclrc /etc/sbclrc

     2.1--- a/scripts/install-rocksdb-pack.sh	Mon Jan 15 23:25:38 2024 -0500
     2.2+++ b/scripts/install-rocksdb-pack.sh	Tue Jan 16 22:02:03 2024 -0500
     2.3@@ -2,7 +2,8 @@
     2.4 set -e
     2.5 cd build/src
     2.6 curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/rocksdb-binary.tar.zst
     2.7-unzstd rocksdb-binary.tar.zst | tar xvf -
     2.8+unzstd rocksdb-binary.tar.zst
     2.9+tar -xvf rocksdb-binary.tar
    2.10 cd rocksdb
    2.11 cp librocksdb.* /usr/local/lib/
    2.12 cp -rf include/* /usr/local/include/