{"name":"dafny-runtime","vers":"0.1.0","deps":[{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8dac068b7a2a8b453153394003ff4b7a6b2cc785c3b2d6f4ce7835a61e0a5f88","features":{},"yanked":false,"pubtime":"2024-12-04T16:10:26Z"}
{"name":"dafny-runtime","vers":"0.1.1","deps":[{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e0cae4da0d5749b6aa0bf11533c82b1ded664af8671efaaa1f058b42874b3e8a","features":{},"yanked":false,"pubtime":"2024-12-04T16:55:07Z"}
{"name":"dafny-runtime","vers":"0.2.0","deps":[{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7313407cf09fe57eb08b02f1191b7b25234ff4fe787517f2b98abdb6d06bf65e","features":{"sync":[]},"yanked":false,"pubtime":"2025-01-31T15:23:57Z"}
{"name":"dafny-runtime","vers":"0.3.0","deps":[{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d9b158a15e28d90680fdfc4ec8ecb972c2f6105f4201ccb76f1bea4ffd6b5504","features":{"small-int":[],"sync":[]},"yanked":false,"pubtime":"2025-05-12T19:35:21Z"}
{"name":"dafny-runtime","vers":"0.3.1","deps":[{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.21.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"00ff59e5bdeafe83af48ddf5c7cb8ff233253aea4161f650e91c3bb0277c8a47","features":{"small-int":[],"sync":[]},"yanked":false,"pubtime":"2025-06-03T16:36:38Z"}