{"name":"smtlib-build-util","vers":"0.1.0","deps":[{"name":"heck","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^1.9.2","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.5.10","features":["indexmap"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a3d59cbabb34782b2b593fd61f0a4e8df60530c647c661c6bd991aea7e3fe36c","features":{},"yanked":false,"pubtime":"2023-01-02T09:20:56Z"}
{"name":"smtlib-build-util","vers":"0.1.8","deps":[{"name":"heck","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.1.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"miette","req":"^5.5.0","features":["fancy"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.69","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.33","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.152","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8.8","features":["indexmap"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0c28adc878bc3042005ea158aab070e7f7aa374b9f70bb615824a473bd92b690","features":{},"yanked":false,"pubtime":"2023-12-26T12:49:13Z"}