Skip to content

cvcpkg(cvcgl): bump cvc_revision 2→3 — rebuild against guarded libcvc 3.4.0+cvc.3 - #439

Merged
transfix merged 1 commit into
masterfrom
feat/cvcgl-wasm-revbump-cvc3
Sep 28, 2026
Merged

transfix merged 1 commit into
masterfrom
feat/cvcgl-wasm-revbump-cvc3