{"name":"taco-interval-ta","vers":"0.1.0-alpha.1","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"c7dc65839a20a600f05b19035218787e800f259cb869a1ec8a521d461083e8e7","features":{},"yanked":true,"pubtime":"2026-01-19T15:18:46Z"}
{"name":"taco-interval-ta","vers":"0.1.0-alpha.2","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"dcedcbf9f30add6d6c673d9a207f62ff3a9bcdf209a340feebfba0d69134b03f","features":{},"yanked":true,"pubtime":"2026-01-20T07:37:09Z"}
{"name":"taco-interval-ta","vers":"0.1.0-alpha.3","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"107d64425781c54cec0b988a5ff3ff10cd51bd73ea8d69d9765e7333040b17f8","features":{},"yanked":true,"pubtime":"2026-01-20T07:56:44Z"}
{"name":"taco-interval-ta","vers":"0.1.0","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-model-checker","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-parser","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"taco-smt-encoder","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"30f33f80c4879716b2a8a7be6b58f500604dd6431779ded963b7d325db88718b","features":{},"yanked":false,"pubtime":"2026-01-20T09:29:47Z"}