SMLib: pin f916a8d (a round on a definition face is its definition; the G1 setback fill certified convex, setbacks too short refused naming the least; the G2 certificate halves a span no level can certify at once)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01DtL5M41G8Nua7HvuFPZkmJ
2026-11-03 02:25:55 +00:00 · 2026-11-01 21:37:02 -05:00
parent aed0477033
commit 17de3569fd
2 changed files with 9 additions and 9 deletions
@@ -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 48461900e6d041389bb3736f2772f7bb21f2d202a1e1f4d27d6c6915c298bb8a
-aarch64-pc-windows-msvc 2ba752b4bf8a3f18b47cbc6773763d7d9a3a0393be27c3d4e98a6d5ca9cf0b4d
-aarch64-unknown-linux-gnu 8c66c2a113a64e574d945772965f7cc0de46ff8bbb3ce450e95bf57abe6058c0
-i686-pc-windows-msvc dd771c1dede08a3bdfe012ef509d99a16087872790792b44bb8b26cc1015a671
-wasm32-unknown-unknown 7bb1507b9d474d9ee19f2a61d22c9167fdf360672897d9d8dfeb4647a1993fd5
-x86_64-apple-darwin 7ad19f0b30c4c0787f0d3459e2263906fa290db2247afab9efd068feb185fa26
-x86_64-pc-windows-msvc 0dcc44829efa70e19b739b06a19d3cbbc2101c0cc9fb0cc44f28fb97066ce20d
-x86_64-unknown-linux-gnu 8d009ebf182f04c95c6a64f9b0b13b355796b62fef60d81665341915136c5851
+aarch64-apple-darwin b1d0e36c05090ab89e96601079b156a656024d0b209a0ac1973443494ed814ba
+aarch64-pc-windows-msvc 5c02e2a884acd2de419867392bac497eae7bcd258e90a7de50d8a6c8eaaf7a89
+aarch64-unknown-linux-gnu 52a9d8c58747bc86495be8e81bb7b352faf85bc35b87fd4340e8eab7f4a9d988
+i686-pc-windows-msvc a071be49f30fea979d5972c35542bbcbef04794cbb9891c1a1a78e12720836bd
+wasm32-unknown-unknown 6bd987227bc707cdc4f287c1a70fc01e53437a9657e05901fa3a7904ec920351
+x86_64-apple-darwin 8d3fd575337059e345a6b5e7f7e9be94fae7f5a9edc66989f6e1e033eec0ab2e
+x86_64-pc-windows-msvc 158fb9fa89cf44bffa44452b2b4829e9a54586d86c0b8c7e5c2d640ac8b45515
+x86_64-unknown-linux-gnu 2a9560c23ad693e89a48d1491d2a75ecfe8e0575d07cfff29ec61cb712429299
@@ -1 +1 @@
-5e8c9c19bb2cff6b5ae321ecda577496955fe037
+f916a8d628a063333a39b2e303849e584dcc9f26