SMLib: the prebuilt where a union that seals a void keeps its enclosing shell first

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DtL5Lzv2n8fyKqD61NCHSF
This commit is contained in:
jyviko
2026-10-28 16:40:45 -04:00
committed by Irakli Kourtis
parent ee4d4b5a55
commit 97a31c0c0c
2 changed files with 9 additions and 9 deletions
+8 -8
View File
@@ -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 d50fa7182e66d823b24fdaf957c5ab9da936aa5e4dd3c1e76beb16ae7202cd86
aarch64-pc-windows-msvc 37974432da4fc8abbd2d9605e868ca6938044d6dd7bc3ee725312fd28fc0ef4c
aarch64-unknown-linux-gnu 1d03a80a6915bf5908572ac187cc97defe221bacacdb9fa2ddded7215e400909
i686-pc-windows-msvc 3b492c0a850c930686a6dcdf81a3de689f04862ef1e9f9eceac5528694c0362f
wasm32-unknown-unknown 6cc238d9c18ac15235cda931f3dfcc3e20c8782e5c7aa29e5d11d52050c431c0
x86_64-apple-darwin 5f392c1f344e0649d3b0d57d9af1737a3a73ee7346aae3dc56494b50b4af52ae
x86_64-pc-windows-msvc 785c0c68ec278501827dfcde88373dd05c5a31af3935040ad29883afe3fb10f6
x86_64-unknown-linux-gnu 004f9e38f7af75a9a66844f11fa83c820b053b2e5bdd5249cb416e2f6a625319
aarch64-apple-darwin 5d58858aa07df01802bbda6349d706f0325b5a2cab32ae61b97e46fc7931be20
aarch64-pc-windows-msvc a888acec73e95960c1bafb82f4436ae3690a3ad6cca53fa11df612ba783202c7
aarch64-unknown-linux-gnu fb840ddc12ce2e20b3d8a986c4481919b80b401bf49601479feabc09f5bcacd1
i686-pc-windows-msvc b45081e2daf5770204e8adc60ff9c30f782351b01ef36448a7188549efd9e5f2
wasm32-unknown-unknown a8b9ccd974894f3986d6690765bad788b8b5b119433b74c219c0387a10a8ef33
x86_64-apple-darwin 2bc0eddedc9905a8a2217419da9e2b6c2ef73ff745ae428f117ae0c9588b83d5
x86_64-pc-windows-msvc e65325a734e2d16232b4ec976f676e1d50a5a6bbdd1423266547e9fa35623a8f
x86_64-unknown-linux-gnu 9a0d125698d83bd58ded8c95c4c19f6002fe9a8751031b5df5f6b1bb5633442f
+1 -1
View File
@@ -1 +1 @@
12559936092c54c1411c4bbb5c6c26fd93308c43
5afca53ff480524e5afd33c0c4f413904a01de69