1.1--- a/bootstrap.sh	Wed Jun 19 20:43:10 2024 +0000
     1.2+++ b/bootstrap.sh	Wed Jun 19 20:54:03 2024 +0000
     1.3@@ -31,12 +31,12 @@
     1.4   local _sbcl_pack="sbcl.tar.zst"
     1.5   # local _rocksdb_pack="rocksdb.tar.zst"
     1.6   local _core_pack="core.tar.zst"
     1.7-  local _user_core="user.core"
     1.8+  local _infra_core="infra.core"
     1.9   # local _core_src_pack="core-source.tar.zst"
    1.10   local _sbcl_url="${_url}/${_sbcl_pack}"
    1.11   # local _rocksdb_url="${_url}/${_rocksdb_pack}"
    1.12   local _core_url="${_url}/${_core_pack}"
    1.13-  local _user_core_url="https://packy.compiler.company/dist/${_arch}/lisp/${_user_core}"
    1.14+  local _infra_core_url="https://packy.compiler.company/dist/${_arch}/lisp/${_infra_core}"
    1.15   # local _core_src_url="${_url}/${_core_src_pack}"
    1.16   if [ ! -f "tmp/$_sbcl_pack" ]; then
    1.17     ensure download "$_sbcl_url" "tmp/$_sbcl_pack" "$_arch"