{"name":"tlaplus-random","vers":"0.1.0","deps":[{"name":"num-bigint","req":"^0.4","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":"12c0560cdf2b8625724912310dab7e0544c1c81a441c5c1cb156f2442177d887","features":{},"yanked":false,"pubtime":"2026-10-29T20:20:33Z"}