{"name":"why3","vers":"0.2.0","deps":[{"name":"indexmap","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10","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":"pretty","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"b5a012ad5c851b47169d9c847b394cc7999b7b7a1fd6a85790f9d3aea3b70557","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2024-07-30T19:20:17Z"}
{"name":"why3","vers":"0.3.0","deps":[{"name":"indexmap","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10","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":"pretty","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.107","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"a98ec798a0d6317674d35aaa75178b79ac7045914136b40e69a9ccade577844f","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2024-10-27T11:17:29Z"}
{"name":"why3","vers":"0.4.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3290d940953ef36f445258c971cadbc04c0169402d0a36ff89a22a223652dd7f","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2025-03-03T12:10:56Z"}
{"name":"why3","vers":"0.5.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"string-interner","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"1ecf3bf2c9919709a9b0c3a900040811b84a198ed73d6fe863bb8261b0d84a6e","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2025-04-23T13:55:55Z"}
{"name":"why3","vers":"0.6.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"string-interner","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"668ef0383878563b9451f81a454b2b8524fffad544fffcbdd225ae25efeaa82f","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2025-09-29T07:31:27Z"}
{"name":"why3","vers":"0.7.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"string-interner","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"a68102277a23877ff8db654930f24b931f727e29da10d92c84f1e756da9decd8","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2025-11-03T08:50:20Z"}
{"name":"why3","vers":"0.8.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"string-interner","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"a72bb2f6e73dce9f5038f8babb7b02df08fa4d5ff4bdcba2618cc885cbbb119b","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2025-12-09T14:14:55Z"}
{"name":"why3","vers":"0.9.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"string-interner","req":"^0.18.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"61357ec0609cb1c85a059f82fbbd5e214e3768705ba2935c60fa2fb36861df57","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2026-01-10T08:19:12Z"}
{"name":"why3","vers":"0.10.0","deps":[{"name":"indexmap","req":"^2.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14","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":"pretty","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"string-interner","req":"^0.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"1bdc6a4456a1bdd334cef3a92de549cc68fb5a23fadca2ccaa84d9a02b9838ce","features":{"serialize":["serde"]},"yanked":false,"pubtime":"2026-02-24T10:38:03Z"}