{"name":"satellite-cdcl","vers":"0.1.0","deps":[{"name":"proptest","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"satellite-base","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satellite-format","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satellite-lockfree","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"19d7e58da5591121308278b10ce367e9ec9755a19fdbd594736c9f15c37cd1e9","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-18T05:16:24Z"}