{"name":"heyting","vers":"0.1.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"737faff25557cee8108b1c1ccb736205f4709ce16463f6a3ee4d87fe8913bce1","features":{},"yanked":false,"rust_version":"1.89","pubtime":"2026-06-29T02:52:25Z"}
{"name":"heyting","vers":"0.2.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bb4b49e95b2ee222db512bd2c69d7745570eacf3af2af493aed79ce14075b85e","features":{},"features2":{"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-06-29T20:58:37Z","v":2}
{"name":"heyting","vers":"0.3.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"388c342ed158630359b82bb7e5025b69abd0d9de9bb25aea389a234c8cec218d","features":{},"features2":{"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-03T20:20:59Z","v":2}
{"name":"heyting","vers":"0.4.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bf48ae4bf70f1fc765a232048875e528af640e9f97b5a552558c6bfe652cf96a","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-03T22:05:56Z","v":2}
{"name":"heyting","vers":"0.5.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6567f6675862f9227f3d9e900b3290d007851f8fcc743c061cd81e0e5c61c28","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T00:01:02Z","v":2}
{"name":"heyting","vers":"0.6.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a3bf8f8f53884edd50948836cac6b15d0ccf0a82f2ab1373b6c6b4285b622f55","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T00:30:49Z","v":2}
{"name":"heyting","vers":"0.7.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"374425edaab9db385e68cc4f4ccea062e863d0482cad3f3125d6e603fbcfa9c7","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T00:48:01Z","v":2}
{"name":"heyting","vers":"0.8.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dfb1009f7580d17caaa1d9828e7b52db726c8fa32a856c0fca9720abe359a25d","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T01:06:04Z","v":2}
{"name":"heyting","vers":"0.9.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"afecb6074dfe755ec3ffd4d9393b6a76fc2b62165e3fb62d59b547a9d512d0d4","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T01:42:05Z","v":2}
{"name":"heyting","vers":"0.10.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9100029b7dc07bfee8913232628d9e7555a213fbe15e9517ea964e8a984975e0","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T02:08:36Z","v":2}
{"name":"heyting","vers":"0.11.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"16834e3094396b6703712ce1b0c0edd286f1e643af23c4e37646e3687892ffe8","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T02:23:16Z","v":2}
{"name":"heyting","vers":"0.12.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9b02f9a1c51d9b5deed53e88dea0247bf64454d165c644b766bbaae4d79ae32b","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-04T18:14:43Z","v":2}
{"name":"heyting","vers":"0.13.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.14.1","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5a27b7dd4e567fc3581f24c3d6cfe4724e9f09d549c711754277327da5f94e74","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-05T00:22:28Z","v":2}
{"name":"heyting","vers":"0.14.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.15","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fda424347305bf8dd90ad5f542dc97aefbf6833326383a43dadf4ea35a5c4f3c","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-06T01:01:28Z","v":2}
{"name":"heyting","vers":"0.15.0","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.15","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7070f82285cf0aa73746e290c185fc0a053b9e793b9bf7c5f1b6a960be55551b","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-07T00:26:01Z","v":2}
{"name":"heyting","vers":"0.15.1","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.17","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1e5f9907f28c25ed1c65d30226e84edba13e6dc456f8d258f5e909ae43be06fa","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-07T12:03:58Z","v":2}
{"name":"heyting","vers":"0.15.2","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.17","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tnorms","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ceafa80b862a52618355b5b13644a42aad581f2ad0307702e6c3d95cb7adff33","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-07T15:36:29Z","v":2}
{"name":"heyting","vers":"0.15.3","deps":[{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.17","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tnorms","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.7.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e0e22befb665b835ea7c2c8d3f6dcdeceb715d8455f5564af37dc03eb18b8464","features":{},"features2":{"subsume":["dep:subsume"],"tranz":["dep:tranz"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-07T17:29:07Z","v":2}
{"name":"heyting","vers":"0.16.0","deps":[{"name":"hyperball","req":"^0.1.6","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"precinct","req":"^0.8.5","features":["index"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde-pickle","req":"^1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"subsume","req":"^0.17","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"tnorms","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tranz","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"vicinity","req":"^0.10.5","features":["hnsw"],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"02c6da52d017a8eabb9ea0f1cde453fbc7634a51676c6fe22a3eea7ad1eb6f08","features":{},"features2":{"hyperball":["dep:hyperball"],"precinct":["dep:precinct"],"subsume":["dep:subsume"],"tranz":["dep:tranz"],"vicinity":["dep:vicinity"]},"yanked":false,"rust_version":"1.89","pubtime":"2026-07-08T16:28:19Z","v":2}