Pin Jerboa emitted Kotlin names

ober

a1d558821fda14c3ba3e9098187cab2e824185f7

diff --git a/.build.yml b/.build.yml
index 702adac..f2cb947 100644
--- a/.build.yml
+++ b/.build.yml
@@ -5,7 +5,7 @@ packages:
   - make=4.4.1-r4
 sources:
   # Build dependency: full immutable commit, mirrored in dependencies.lock.json.
-  - "https://git.sr.ht/~lisp/jerboa#1c1b45bea323c0d4fa2881ef66d884cb4ff6b284"
+  - "https://git.sr.ht/~lisp/jerboa#dc45028545d8c7ec19f2a0a3356dc947c3c7da9b"
   # The second source is the build subject selected by the SourceHut submitter.
   - https://git.sr.ht/~lisp/jerboa-android
 tasks:
@@ -14,6 +14,6 @@ tasks:
       test "$(apk info -v chez-scheme)" = chez-scheme-10.3.0-r2
       test "$(apk info -v git)" = git-2.54.0-r0
       test "$(apk info -v make)" = make-4.4.1-r4
-      test "$(git -C ../jerboa rev-parse HEAD)" = 1c1b45bea323c0d4fa2881ef66d884cb4ff6b284
-      test "$(git -C ../jerboa rev-parse 'HEAD^{tree}')" = d810c27b9f04fc85b22f0e3e7f34a7848c1223e8
+      test "$(git -C ../jerboa rev-parse HEAD)" = dc45028545d8c7ec19f2a0a3356dc947c3c7da9b
+      test "$(git -C ../jerboa rev-parse 'HEAD^{tree}')" = 38e402be45c993c87d761756c35f58eb9dfee7cf
       JERBOA="chez --libdirs .:../jerboa/lib --script" make test
diff --git a/dependencies.lock.json b/dependencies.lock.json
index 5bfeeec..b234010 100644
--- a/dependencies.lock.json
+++ b/dependencies.lock.json
@@ -11,8 +11,8 @@
   "generator_runtime": {
     "name": "jerboa",
     "repository": "https://git.sr.ht/~lisp/jerboa",
-    "commit": "1c1b45bea323c0d4fa2881ef66d884cb4ff6b284",
-    "tree": "d810c27b9f04fc85b22f0e3e7f34a7848c1223e8"
+    "commit": "dc45028545d8c7ec19f2a0a3356dc947c3c7da9b",
+    "tree": "38e402be45c993c87d761756c35f58eb9dfee7cf"
   },
   "assurance_tools": {
     "osv_scanner": {
diff --git a/scripts/verify-supply-chain.sh b/scripts/verify-supply-chain.sh
index 248a976..68e2d5b 100755
--- a/scripts/verify-supply-chain.sh
+++ b/scripts/verify-supply-chain.sh
@@ -3,8 +3,8 @@ set -eu
 
 repo=$(CDPATH= cd -- "$(dirname -- "$0")/.." && pwd -P)
 lock="$repo/dependencies.lock.json"
-jerboa_commit=1c1b45bea323c0d4fa2881ef66d884cb4ff6b284 # gitsafe:ignore
-jerboa_tree=d810c27b9f04fc85b22f0e3e7f34a7848c1223e8 # gitsafe:ignore
+jerboa_commit=dc45028545d8c7ec19f2a0a3356dc947c3c7da9b # gitsafe:ignore
+jerboa_tree=38e402be45c993c87d761756c35f58eb9dfee7cf # gitsafe:ignore
 gradle_sha=20f1b1176237254a6fc204d8434196fa11a4cfb387567519c61556e8710aed78
 jdk_macos_sha=8fa1eff40bb637a33613b2ccb8b12c70dc3661cc22cf8e784943715769a05336
 jdk_linux_sha=d8afc263758141a66e0e3aafc321e783f7016696f4eaea067d340a269037d331