{"name":"veripb-propagator","vers":"3.0.0","deps":[{"name":"colored","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"malachite-bigint","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"veripb-formula","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"68f2e3cfc6c2c1048427e06cb7e0a9faab7f937b902ca824f3f796c95e99403a","features":{},"yanked":true,"rust_version":"1.84.0","pubtime":"2025-10-03T12:47:27Z"}
{"name":"veripb-propagator","vers":"0.1.0","deps":[{"name":"colored","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"malachite-bigint","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"veripb-formula","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"503b8cc00c3e93ef1eb0980307fcf1510cf2c8751e8b54308c4258da151268d1","features":{},"yanked":false,"rust_version":"1.84.0","pubtime":"2025-10-03T14:07:52Z"}
{"name":"veripb-propagator","vers":"0.1.1","deps":[{"name":"colored","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"malachite-bigint","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"veripb-formula","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd5bba9bcd79ce3ffa22806981d6ce80c01885d2a2e7c185b93457d80c2b1001","features":{},"yanked":false,"rust_version":"1.84.0","pubtime":"2025-11-02T18:37:55Z"}
{"name":"veripb-propagator","vers":"0.1.2","deps":[{"name":"ahash","req":"^0.8.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"malachite-bigint","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"veripb-formula","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3266adbaf3ef00bc540acf80763b7b4191969ac6c2c026d1992c555e879f8863","features":{},"yanked":false,"rust_version":"1.84.0","pubtime":"2026-03-20T18:58:39Z"}