{"name":"prune-lang","vers":"0.1.0","deps":[{"name":"clap","req":"^4.5.51","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"radix_trie","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d2128f1e0dff28df84c3e69b44cc9587088710dbd4ccfb259ed21fc1b3c5a526","features":{},"yanked":false,"pubtime":"2025-11-15T12:01:50Z"}
{"name":"prune-lang","vers":"0.1.1","deps":[{"name":"clap","req":"^4.5.51","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"radix_trie","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c653d14adcd746e4ee5f0205f2bf01d32f12086ccbc2741332dcf778d84f5544","features":{},"yanked":false,"pubtime":"2025-11-22T16:01:35Z"}
{"name":"prune-lang","vers":"0.1.2","deps":[{"name":"clap","req":"^4.5.51","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"radix_trie","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"494f0bee28501d07f7ef289344e0458c1ce8962f82f08b9a5f84450455da9afd","features":{},"yanked":false,"pubtime":"2026-01-06T09:03:58Z"}
{"name":"prune-lang","vers":"0.1.3","deps":[{"name":"clap","req":"^4.5.51","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"radix_trie","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e6649dc189795051e29b95389e8c7a62617902e3fb00ff0bf828fe0c8d390cfc","features":{},"yanked":false,"pubtime":"2026-02-04T01:02:00Z"}
{"name":"prune-lang","vers":"0.2.0","deps":[{"name":"clap","req":"^4.5.51","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"radix_trie","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"66125bce9416b50f8896e67ff12f66aa80d4a87a63f1f893b6aec2a4c40bfd03","features":{},"yanked":false,"pubtime":"2026-03-02T14:16:23Z"}
{"name":"prune-lang","vers":"0.2.1","deps":[{"name":"clap","req":"^4.5.60","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.16.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"816dd9d64ec31d47bc586a99a2ca0402226037f902be4d9e3a025a2bc2e28f6d","features":{},"yanked":false,"pubtime":"2026-03-26T05:00:03Z"}
{"name":"prune-lang","vers":"0.2.2","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.16.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"98a36aad84cf2a4d240076774f8b128f9d63b2296ab3f3f844266dede93d4a14","features":{},"yanked":false,"pubtime":"2026-04-26T09:02:22Z"}
{"name":"prune-lang","vers":"0.2.3","deps":[{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"easy-smt","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"insta","req":"^1.46.1","features":["yaml"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logos","req":"^0.16.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"snailquote","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a5a749d6d8946a2c8826f93a4d15802a62ae488945f2d79e940f91d6205c9f4f","features":{},"yanked":false,"pubtime":"2026-06-11T07:44:02Z"}