{"name":"tlaplus-disk","vers":"0.1.0","deps":[{"name":"redb","req":"^4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tlaplus-engine","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-values","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"432c5433a3d149b071cc7b6b7eed3ef00d67806d411c6d359657f41f3820db57","features":{},"yanked":false,"pubtime":"2026-10-29T19:49:55Z"}