{"name":"hax-lib","vers":"0.1.0-pre.1","deps":[{"name":"hax-lib-macros","req":"=0.1.0-pre.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"1b4c24729b7608f3a2f2b798b503e18ca3d46b5287e85e42c3e2a81a6431c20e","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":true,"pubtime":"2024-06-18T09:26:50Z","v":2}
{"name":"hax-lib","vers":"0.1.0-alpha.1","deps":[{"name":"hax-lib-macros","req":"=0.1.0-alpha.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"0c7e74ec5c3de03ebab66ad5d0ea0c2be0c45e8ae2396481fbec8a4cbbaaaa25","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2024-10-07T14:08:20Z","v":2}
{"name":"hax-lib","vers":"0.1.0-rc.1","deps":[{"name":"hax-lib-macros","req":"=0.1.0-rc.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"75ce0d4c5ddcafadceac5b365275d496dcdea0c3694186060d2b76c25638bee8","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2024-12-17T13:28:04Z","v":2}
{"name":"hax-lib","vers":"0.1.0","deps":[{"name":"hax-lib-macros","req":"=0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"fd2dddf00d9120e8ff07ec0411cd48f6f419782b53c109d3984b6bf94345c822","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-01-20T13:42:03Z","v":2}
{"name":"hax-lib","vers":"0.2.0","deps":[{"name":"hax-lib-macros","req":"=0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"61933dbb676f11311378720e1ee97a511813edb7044255381ba0d625cac6be7b","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-03-05T09:39:58Z","v":2}
{"name":"hax-lib","vers":"0.3.0","deps":[{"name":"hax-lib-macros","req":"=0.3.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"3c64d2897db3c233482b4ef6fd28bfbf907c4d6eb1b0a005315bdf392bdf94c2","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-05-16T08:35:26Z","v":2}
{"name":"hax-lib","vers":"0.3.1","deps":[{"name":"hax-lib-macros","req":"=0.3.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"a89999d4446ba7d86c777bc6a30c106b9bf60d12eb1952242af5d1d7cb33943d","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-05-26T12:41:05Z","v":2}
{"name":"hax-lib","vers":"0.3.2","deps":[{"name":"hax-lib-macros","req":"=0.3.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"5a6b593135257620169c44108facfc774a48336238af6783d630a8b77b7913de","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-07-24T13:23:38Z","v":2}
{"name":"hax-lib","vers":"0.3.3","deps":[{"name":"hax-lib-macros","req":"=0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"03d95639f6ad2a4137a77eaefe4b4229e09b658270cc53c0534ba4103bb8dbf9","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-09-03T11:37:15Z","v":2}
{"name":"hax-lib","vers":"0.3.4","deps":[{"name":"hax-lib-macros","req":"=0.3.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"7bf40682e31dc3961209a4657f6fe7c412879b59f212bac3d14bd7ece5af76a3","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-09-03T14:29:30Z","v":2}
{"name":"hax-lib","vers":"0.3.5","deps":[{"name":"hax-lib-macros","req":"=0.3.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"74d9ba66d1739c68e0219b2b2238b5c4145f491ebf181b9c6ab561a19352ae86","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2025-10-02T12:14:14Z","v":2}
{"name":"hax-lib","vers":"0.3.6","deps":[{"name":"hax-lib-macros","req":"=0.3.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"},{"name":"num-traits","req":"^0.2","features":[],"optional":false,"default_features":false,"target":"cfg(hax)","kind":"normal"}],"cksum":"543f93241d32b3f00569201bfce9d7a93c92c6421b23c77864ac929dc947b9fc","features":{},"features2":{"default":["macros"],"macros":["dep:hax-lib-macros"]},"yanked":false,"pubtime":"2026-01-15T10:31:27Z","v":2}