{"name":"radius2","vers":"1.0.0","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"07a7781a293092fd31fb1fd600551b42c12fc68e3405c71b848405ded890bbc5","features":{},"yanked":false,"pubtime":"2021-10-06T20:22:36Z"}
{"name":"radius2","vers":"1.0.1","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a20de00266e3719eb1af3e22a9bd00527872cf896617990b0876957f56ade98f","features":{},"yanked":false,"pubtime":"2021-10-06T20:55:42Z"}
{"name":"radius2","vers":"1.0.2","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cc27f232cb1e4356a0c2b7d5d91e6abd7a1f3627e39913d67ef4a14d16f901e3","features":{},"yanked":false,"pubtime":"2021-11-11T05:09:14Z"}
{"name":"radius2","vers":"1.0.3","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e0e2a31f236b9f8b0589cd6ce309322068bb0986f1554583137140440bdb50d4","features":{},"yanked":false,"pubtime":"2021-11-23T04:20:13Z"}
{"name":"radius2","vers":"1.0.4","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"90c52bfc20cbd8157e19b9f333511ad317d8bd14d54bb26750e1fd38dc484f67","features":{},"yanked":false,"pubtime":"2021-11-24T05:22:17Z"}
{"name":"radius2","vers":"1.0.5","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8784d800d23faf4c53835a86112e20e5587ab6d45b1e96639dc6255c652fa05b","features":{},"yanked":false,"pubtime":"2021-11-24T05:38:38Z"}
{"name":"radius2","vers":"1.0.6","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4bdac611b433113781d546a7021026aeae7156cba8ef4ebda65662b770661e30","features":{},"yanked":false,"pubtime":"2021-11-27T04:35:01Z"}
{"name":"radius2","vers":"1.0.7","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3484ca80200bf652695f36e5ad11935ba91a120928b5d81621ae283413c4fb3d","features":{},"yanked":false,"pubtime":"2021-12-02T05:12:33Z"}
{"name":"radius2","vers":"1.0.8","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4fb413a692b43229d43c58c5fbb243e0a6381e734cc44a9c669b20e7f68bc303","features":{},"yanked":true,"pubtime":"2021-12-05T06:45:27Z"}
{"name":"radius2","vers":"1.0.9","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"85114f5afa5c697232e32ff6e74fea672d1208268fb457be656f6ae8df1bc76d","features":{},"yanked":false,"pubtime":"2021-12-05T19:26:54Z"}
{"name":"radius2","vers":"1.0.10","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7f00fa7bf254ecb9ace50fa2c41ca313d2eb73496fd47de1f1288aea27c20cf1","features":{},"yanked":false,"pubtime":"2022-01-20T02:43:33Z"}
{"name":"radius2","vers":"1.0.11","deps":[{"name":"ahash","req":"^0.7.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa23899213025b1296dbcb683187f8109a5de733e418130ebd7ee3d52b4ec7a5","features":{},"yanked":false,"pubtime":"2022-02-22T04:28:32Z"}
{"name":"radius2","vers":"1.0.12","deps":[{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3cd1a43dac14e5b89da15f9976e039b1e32d6a44e115ff99738f1d468a2eda1f","features":{},"yanked":false,"pubtime":"2022-03-26T04:31:23Z"}
{"name":"radius2","vers":"1.0.13","deps":[{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5585f19b67f87cb2340f3d74d5c6417098eafe68f06b54c9f686e510683c257d","features":{},"yanked":false,"pubtime":"2022-03-31T04:01:08Z"}
{"name":"radius2","vers":"1.0.14","deps":[{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e891e97407c7e9b6b0c8dc64b3ea041ae849e17482f0b53c406c7b717090cc5","features":{},"yanked":false,"pubtime":"2022-06-10T04:16:11Z"}
{"name":"radius2","vers":"1.0.15","deps":[{"name":"boolector","req":"^0.4.2","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4860f6084d728d6d7e3c7ab811edc470b7227ec7badf37a0d0ba70c6a18d9fcf","features":{},"yanked":false,"pubtime":"2022-06-10T21:58:31Z"}
{"name":"radius2","vers":"1.0.16","deps":[{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"339629576f4750e102faa5b414a9b6160944e536711a29dcc360851be2259c15","features":{},"yanked":false,"pubtime":"2022-07-16T07:12:53Z"}
{"name":"radius2","vers":"1.0.17","deps":[{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c523a5ef9d1c4ed8477a34d8f52165549dff0ee1694a91f9ecb6d08cec32948d","features":{},"yanked":false,"pubtime":"2022-08-19T16:02:34Z"}
{"name":"radius2","vers":"1.0.18","deps":[{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mimalloc","req":"^0.1.34","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"27c2388c8180466578877efec5839757235869e60a8e8b5498069870bd90a71d","features":{},"yanked":false,"pubtime":"2023-03-01T04:37:54Z"}
{"name":"radius2","vers":"1.0.19","deps":[{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mimalloc","req":"^0.1.34","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a29030e96fb9eb34994cca139548e315258102987817d50cebc6a84e7c0c918","features":{},"yanked":false,"pubtime":"2023-06-01T04:00:47Z"}
{"name":"radius2","vers":"1.0.20","deps":[{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mimalloc","req":"^0.1.34","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d8c36cb30813cd70eaaf6832302c7423603b1b00a38c3e2f48c259931a29634b","features":{},"yanked":false,"pubtime":"2023-06-05T23:36:50Z"}
{"name":"radius2","vers":"1.0.21","deps":[{"name":"boolector","req":"^0.4.3","features":["vendor-lgl"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e5e25c6f0263c10d31f09e675eb395741bf41b0e9368baca8e033d06f25c81d4","features":{},"yanked":false,"pubtime":"2023-06-07T01:34:59Z"}
{"name":"radius2","vers":"1.0.22","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2f43bd09dbe7c6d518d0bd1128574a94813f4cd279961f4dcdc8f5808e90c085","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2023-06-07T04:12:37Z"}
{"name":"radius2","vers":"1.0.23","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"38282422b0718f8b3484621a2fd90a64645cf62e0a2042f7183f84ec32b58ba4","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2023-06-07T20:36:29Z"}
{"name":"radius2","vers":"1.0.24","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"255cea24ca1106e9cede71983ef774f20098eb07d98a5a7edff7a0b7788013e0","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2023-08-03T18:19:51Z"}
{"name":"radius2","vers":"1.0.25","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"017e3516825608ec44ce668562dc05fdd1c053df4d385726215bd315e566c1da","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2023-11-18T23:55:37Z"}
{"name":"radius2","vers":"1.0.26","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"08f586f23a37dbd7851d0ed1456692814b65779091f531c38e926153c393a151","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2023-11-19T06:37:09Z"}
{"name":"radius2","vers":"1.0.27","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5d822a7cd34daddd37b946cf61a430ad30fc213d52ae1ec8943af8f9399b1062","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2024-01-05T05:09:24Z"}
{"name":"radius2","vers":"1.0.28","deps":[{"name":"boolector","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^2.33.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"r2pipe","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.117","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.59","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"faa0aa90077ec856b6a586a2d8c2756c46415d2b05a361924645664de69ddd92","features":{"default":["boolector/vendor-lgl"]},"yanked":false,"pubtime":"2024-05-13T00:00:38Z"}