{"name":"z3-src","vers":"0.1.0","deps":[],"cksum":"b95027e1a73eda9f75c87599ace1ad581a64ce2360048cefd5f39047e76d28a2","features":{},"yanked":false,"pubtime":"2026-02-24T13:20:33Z"}
{"name":"z3-src","vers":"415.4.0","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"782412bda7810f061582cf77b2eb337da63966d7245d521a2c8edaf570ff1e82","features":{},"yanked":false,"pubtime":"2026-03-19T11:35:52Z"}
{"name":"z3-src","vers":"415.4.1","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eeaf0be6b059dd9e5514976b0110cb8f4a5d49c70ab4bc57addc542074facd7c","features":{},"yanked":false,"pubtime":"2026-03-19T11:46:30Z"}
{"name":"z3-src","vers":"415.4.2","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a5dc48e1b7aba328c059e6a0ed3595e717a0b6a1009544edb8c8130b0a478141","features":{},"yanked":false,"pubtime":"2026-03-19T11:52:58Z"}
{"name":"z3-src","vers":"416.0.0","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ec865a89defb9fe795241f7a850281b6a0ce5c5f09cfbed8637c535e3e4c574d","features":{},"yanked":false,"pubtime":"2026-03-19T12:05:27Z"}
{"name":"z3-src","vers":"416.0.1","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8ba596e87825314ea3dc13d402568c9dc92da162ca4e3e4de8d522fe3db2b142","features":{},"yanked":false,"pubtime":"2026-03-21T18:27:21Z"}
{"name":"z3-src","vers":"415.4.3","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b29fba1b6ac97a48ac8252a77f9afa2f32f866cac27ee47d0d31cc0f9baf6190","features":{},"yanked":false,"pubtime":"2026-04-01T16:38:40Z"}
{"name":"z3-src","vers":"415.4.4","deps":[{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"649f57d0f486ca2fe94700581fa31d57dd1f3c0ea2d3d1e5fc715614d6a7d8ea","features":{},"yanked":false,"pubtime":"2026-04-01T16:43:51Z"}