{"name":"formally-smt","vers":"0.2025.12","deps":[{"name":"derive_more","req":"^2.0.1","features":["from","as_ref","display","deref"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-io","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-smt-macros","req":"^0.2025.12","features":["__subcratedoc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-support","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"linkme","req":"^0.3.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rpds","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"transitive","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ad7b040d5a3ddd602a2842118704e858fe86801ba13a3936ebb31b56b58111ee","features":{"__subcratedoc":[],"default":[]},"yanked":false,"pubtime":"2025-12-19T13:32:32Z"}
{"name":"formally-smt","vers":"0.2025.121","deps":[{"name":"derive_more","req":"^2.0.1","features":["from","as_ref","display","deref"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-io","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-smt-macros","req":"^0.2025.121","features":["__subcratedoc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-support","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"linkme","req":"^0.3.35","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rpds","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rug","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"transitive","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eebb9fdb0834f57d3d0c5c30d7612edb7f853a8b8810d6cb9aef753e4b0f8983","features":{"__subcratedoc":[],"default":[]},"yanked":false,"pubtime":"2025-12-20T18:07:23Z"}