{"name":"satif-minisat","vers":"0.2.0","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b738fefb8592dff8f5e8f222086aad392912bc85544de480698829b871a46443","features":{},"yanked":false,"pubtime":"2024-10-21T08:02:17Z"}
{"name":"satif-minisat","vers":"0.2.1","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4887db4336af5ca77bca53fbaf9bcb57340c14f2e762b263cb18c2355b00f8c7","features":{},"yanked":false,"pubtime":"2024-10-23T09:47:16Z"}
{"name":"satif-minisat","vers":"0.2.2","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9a9cacc4cba1d951b22976f2ea531f4232ef001c9b00a943a14f5939181c0d67","features":{},"yanked":false,"pubtime":"2024-12-07T04:55:32Z"}
{"name":"satif-minisat","vers":"0.2.3","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"debd73580b555af3406d94299b46560ff6b2237d63d220b69596667628a9c10e","features":{},"yanked":false,"pubtime":"2025-01-22T05:12:05Z"}
{"name":"satif-minisat","vers":"0.2.4","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ba3f376b7bcea165f303d7427951790f4fdfccd43aa6de139dcc8f1acb8ffe68","features":{},"yanked":false,"pubtime":"2025-01-22T05:15:27Z"}
{"name":"satif-minisat","vers":"0.2.5","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"39710f822beca47a8033134bd827fee85033a80a7d056c716d751098747b48e9","features":{},"yanked":false,"pubtime":"2025-02-03T12:13:34Z"}
{"name":"satif-minisat","vers":"0.2.6","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"28a4dc507ecca3d4a26d19d56083b50cfb3058267cb8b7413ceabb3a76117c2b","features":{},"yanked":false,"pubtime":"2025-02-09T12:02:03Z"}
{"name":"satif-minisat","vers":"0.2.7","deps":[{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a7e87f32c6c1ed40503379a4fc40a98e079a26f7c3de4545b1153fa5cdb85c49","features":{},"yanked":false,"pubtime":"2025-02-19T02:06:44Z"}