{"name":"xmt-lib","vers":"0.1.0","deps":[{"name":"chic","req":"^1.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.34","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"debug_print","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_more","req":"^2","features":["display"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"genawaiter","req":"^0.99.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.9.0","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":"peg","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty-sqlite","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rusqlite","req":"^0.36.0","features":["bundled","functions"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"simplelog","req":"^0.12.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.27.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum_macros","req":"^0.27.1","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":"unzip-n","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9efc70041a9b3dea9a3c0fa489726e63c5a1ad35c75117ea03d84f1851965034","features":{"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"rust_version":"1.86.0","pubtime":"2026-04-10T09:42:41Z"}
{"name":"xmt-lib","vers":"0.1.1","deps":[{"name":"chic","req":"^1.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.34","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"debug_print","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_more","req":"^2","features":["display"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"genawaiter","req":"^0.99.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.9.0","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":"peg","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty-sqlite","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rusqlite","req":"^0.36.0","features":["bundled","functions"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"simplelog","req":"^0.12.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.27.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum_macros","req":"^0.27.1","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":"unzip-n","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a1ef0440aa430687a5520ca619b6d97cc4cc81b03b9eb5d16a78a7676aa10fc","features":{"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"rust_version":"1.86.0","pubtime":"2026-04-10T09:49:17Z"}
{"name":"xmt-lib","vers":"0.1.2","deps":[{"name":"chic","req":"^1.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.34","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"debug_print","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_more","req":"^2","features":["display"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"genawaiter","req":"^0.99.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.9.0","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":"peg","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty-sqlite","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rusqlite","req":"^0.36.0","features":["bundled","functions"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"simplelog","req":"^0.12.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum","req":"^0.27.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"strum_macros","req":"^0.27.1","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":"unzip-n","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f1902f2d25bfe2c9a1bfce1da1d870c2e93ebd2448997dc4bb2e3cf7b3e71ab9","features":{"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"rust_version":"1.86.0","pubtime":"2026-04-13T08:16:16Z"}