{"name":"cvc5-sys","vers":"0.1.0","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d814cd6d9d6b16506f8b5fe404efae92e7dbe668af0578baf4ad2d3ce94b7662","features":{"parser":[]},"yanked":false,"links":"cvc5","pubtime":"2026-03-12T22:08:36Z"}
{"name":"cvc5-sys","vers":"0.2.0","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6a3ba0286cd0ca25dc523a28f5f3489e998faf5ab27af5b6fe3c45ab4c04a696","features":{"parser":[]},"yanked":false,"links":"cvc5","pubtime":"2026-03-17T05:15:11Z"}
{"name":"cvc5-sys","vers":"0.3.0","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"cef6491f61e2ab25c92134284763e5fefb7c840f7875d717f069df6ee6078439","features":{"parser":[]},"yanked":false,"links":"cvc5","pubtime":"2026-03-18T00:41:20Z"}
{"name":"cvc5-sys","vers":"0.3.1","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"1d580e4bc6b26687ef4fcec1109c81e8dc265cefe9eb21575a126f34a986c100","features":{"parser":[]},"yanked":false,"links":"cvc5","pubtime":"2026-03-23T23:57:22Z"}