{"name":"tlaplus-runtime","vers":"0.1.0","deps":[{"name":"tlaplus-library","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tlaplus-value-expr","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":"b045b133b10d21337f3b83297e80c4db0ae97e7eb32e54e7366cb345e55d78f3","features":{},"yanked":false,"pubtime":"2026-10-29T20:40:27Z"}