diff --git a/crates/smlib/SMLIB_PREBUILT b/crates/smlib/SMLIB_PREBUILT
index 7194eaaa23..90580519a1 100644
--- a/crates/smlib/SMLIB_PREBUILT
+++ b/crates/smlib/SMLIB_PREBUILT
@@ -1,10 +1,10 @@
 # Rust target, SHA-256 of smlib-<target>.tar.gz in the release prebuilt-<SMLIB_REV> of
 # tangency-labs/smlib. Written by scripts/fetch-smlib.sh --pin; never edited by hand.
-aarch64-apple-darwin e7abaad8909623caee1728cbfbfedbc3d3f1c858e5baa8caef1470809353c5ac
-aarch64-pc-windows-msvc e12cec4931f076bbcc27cc8a892f6c98660440db459e87888f1145bbd8cba1fa
-aarch64-unknown-linux-gnu 816a5a647ba7e06106f6c023a5eaba161b1be47b538575cabb4f0ee16cac1ad0
-i686-pc-windows-msvc a5e7fe9c6ca15475291080eb385a3f7d8ab1a8018523c99b3ab2d26ca58f85db
-wasm32-unknown-unknown ffa2124ae79ac93fc69728ac58b9ee3383ba39779a9cb94be8523f652782700d
-x86_64-apple-darwin 868df2b3f0d1fcf25156998d83a5a47608f14da7461134dc5f96eaa0cd3e7926
-x86_64-pc-windows-msvc fdc3e09310ca87a48ce0ceaca5091d7c11ce55beb9683a2ff350c986c98f3669
-x86_64-unknown-linux-gnu 5179265ede89a2677fe9cd5fb4e92345f7c584432b48c98a03244a6cf5038fb2
+aarch64-apple-darwin f55d28439cb9827163a89f2b419d103f9f2bbfe4b1c8eb81400e296f6ce62eea
+aarch64-pc-windows-msvc 453c8426e13bf920cb7bf7a06abb9c410b0d712fd560cb6039a2f8fa0546d448
+aarch64-unknown-linux-gnu 7d7f909eadc1be59a2a85230b48ec626425e055c2e103f6d6ed0cddf438496e6
+i686-pc-windows-msvc 5bfca62127b4bbcbfded9486194cf6cdc0657a0a6e35ef56785e71722801e256
+wasm32-unknown-unknown 2f2ee2064159bdef067095f67012fe1946a40fd9a73606937b546b4d319c73c0
+x86_64-apple-darwin f48b2c245e63eb72ec204ea93e3e8339e055f51d4ea4d5a36a7071030549571d
+x86_64-pc-windows-msvc e0d8e7f4910ff1025dcb03a209fd4903423d99daefd86aa4bd25da4b4092318a
+x86_64-unknown-linux-gnu a6e32afc63f749524ff72a18c6cc2027da6edaa4b330db6a22e6afd6fd9cb3fd
diff --git a/crates/smlib/SMLIB_REV b/crates/smlib/SMLIB_REV
index 88b868db65..8614e19975 100644
--- a/crates/smlib/SMLIB_REV
+++ b/crates/smlib/SMLIB_REV
@@ -1 +1 @@
-56f6e811bc8491265c75f8e7707c582513ffc738
+e51c3f2a3633c0173fcb220b6d1c4b4d4f81330f