{"name":"mrs-proover","vers":"0.1.8","deps":[{"name":"mrs-cnf","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-core","req":"^0.1.8","features":["proover"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.8","features":["proover","owned"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"varisat","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a4c33aa253239f520e42e16444856c0e067433ee20434fed68b16fe6cab9475a","features":{},"yanked":false,"rust_version":"1.95","pubtime":"2026-05-30T21:58:03Z"}
{"name":"mrs-proover","vers":"0.1.9","deps":[{"name":"cadical","req":"^0.1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-cnf","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-core","req":"^0.1.9","features":["proover"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-search","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mrs-tptp","req":"^0.1.9","features":["proover","owned"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6e6636fd19fab4d205cc26c092c79a3db4865fe921fdcfd679205fc0f528955","features":{},"yanked":false,"rust_version":"1.95","pubtime":"2026-06-22T21:37:17Z"}