{"name":"cvc5-rs","vers":"0.1.0","deps":[{"name":"cvc5-sys","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"217d4553ebaa28207a86cfc1122beab5c507e79c7c4b2a7a391b865dc6c7b654","features":{"parser":["cvc5-sys/parser"]},"yanked":false,"pubtime":"2026-03-12T22:18:15Z"}
{"name":"cvc5-rs","vers":"0.2.0","deps":[{"name":"cvc5-sys","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a861066b51c12d66dd8552498063a0534fd336f556f6f6f45216ad388d2bc2fe","features":{"parser":["cvc5-sys/parser"]},"yanked":false,"pubtime":"2026-03-17T05:27:11Z"}
{"name":"cvc5-rs","vers":"0.3.0","deps":[{"name":"cvc5-sys","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e5e09285e0562919c55c86743cf09f89dab54df92b3ed96ac1804910017bd1f","features":{"parser":["cvc5-sys/parser"]},"yanked":false,"pubtime":"2026-03-18T00:53:34Z"}
{"name":"cvc5-rs","vers":"0.3.1","deps":[{"name":"cvc5-sys","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e9f56d5bd06d9f3e43f9b5cedb60e9b1d79c1dda66a0aac8dd1da962a5976623","features":{"parser":["cvc5-sys/parser"]},"yanked":false,"pubtime":"2026-03-24T00:09:33Z"}
{"name":"cvc5-rs","vers":"0.3.2","deps":[{"name":"cvc5-sys","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f70ec78df5ba25214b17e01507e3d61c4388ca490d5c232ca09957a471338496","features":{"parser":["cvc5-sys/parser"]},"yanked":false,"pubtime":"2026-03-26T23:04:40Z"}