{"name":"hax-lib-macros","vers":"0.1.0-pre.1","deps":[{"name":"hax-lib-macros-types","req":"=0.1.0-pre.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro-error","req":"^1.0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","extra-traits","parsing"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2e537b6582ecf0d2bc9761b6c129840c9a039263e71b933850af8e24d5e3a840","features":{},"yanked":true,"pubtime":"2024-06-18T09:26:14Z"}
{"name":"hax-lib-macros","vers":"0.1.0-alpha.1","deps":[{"name":"hax-lib-macros-types","req":"=0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro-error","req":"^1.0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit","extra-traits","parsing"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0be907056709acf1db3e0db55ce451aa6bd5a1c1739f49110e6ff7cc60a19177","features":{},"yanked":false,"pubtime":"2024-10-07T14:08:06Z"}
{"name":"hax-lib-macros","vers":"0.1.0-rc.1","deps":[{"name":"hax-lib-macros-types","req":"=0.1.0-rc.1","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error","req":"^1.0.4","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"dbb8f400cec2468f5cb2be8834bd5a6bd954ca119cde8ad60b141a86277f49b0","features":{},"yanked":false,"pubtime":"2024-12-17T13:27:52Z"}
{"name":"hax-lib-macros","vers":"0.1.0","deps":[{"name":"hax-lib-macros-types","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error","req":"^1.0.4","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"013ec0c6e58481b11658007e794ee09be35b97ef02c92102b9a5c01afd43a82f","features":{},"yanked":false,"pubtime":"2025-01-20T13:41:54Z"}
{"name":"hax-lib-macros","vers":"0.2.0","deps":[{"name":"hax-lib-macros-types","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error","req":"^1.0.4","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"7ba3a8d32921c3f535e973f72053d20bc8c7f74028911a269748440952157807","features":{},"yanked":false,"pubtime":"2025-03-05T09:39:47Z"}
{"name":"hax-lib-macros","vers":"0.3.0","deps":[{"name":"hax-lib-macros-types","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"7be7ab49adeccd82e191307e78640b2f48c9e0fe75ceff50dab48f92f0261e1a","features":{},"yanked":false,"pubtime":"2025-05-16T08:35:16Z"}
{"name":"hax-lib-macros","vers":"0.3.1","deps":[{"name":"hax-lib-macros-types","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"704a31fb12a8c50243e8d4c88d006f64852822b0e24488a0de9986803a661792","features":{},"yanked":false,"pubtime":"2025-05-26T12:35:46Z"}
{"name":"hax-lib-macros","vers":"0.3.2","deps":[{"name":"hax-lib-macros-types","req":"=0.3.2","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"b1f50d2b609faca4ebb2522d96d36372cf5f879247e713c28134d7205f1ad427","features":{},"yanked":false,"pubtime":"2025-07-24T13:23:29Z"}
{"name":"hax-lib-macros","vers":"0.3.3","deps":[{"name":"hax-lib-macros-types","req":"=0.3.3","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"5308e12cb93539d6b8e9be58dda5ffc149572aa11e14d86dfbc29075bde61f2c","features":{},"yanked":false,"pubtime":"2025-09-03T11:37:05Z"}
{"name":"hax-lib-macros","vers":"0.3.4","deps":[{"name":"hax-lib-macros-types","req":"=0.3.4","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"e33a5a4ff169bcc4e9189f4bace3ed22d03fcd8e52eee90a00b7b1e2621cb490","features":{},"yanked":false,"pubtime":"2025-09-03T14:29:16Z"}
{"name":"hax-lib-macros","vers":"0.3.5","deps":[{"name":"hax-lib-macros-types","req":"=0.3.5","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"24ba777a231a58d1bce1d68313fa6b6afcc7966adef23d60f45b8a2b9b688bf1","features":{},"yanked":false,"pubtime":"2025-10-02T12:14:03Z"}
{"name":"hax-lib-macros","vers":"0.3.6","deps":[{"name":"hax-lib-macros-types","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro-error2","req":"^2.0","features":[],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"},{"name":"proc-macro2","req":"^1.0.66","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit","visit-mut"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0","features":["full","visit-mut","visit"],"optional":false,"default_features":true,"target":"cfg(hax)","kind":"normal"}],"cksum":"f8755751e760b11021765bb04cb4a6c4e24742688d9f3aa14c2079638f537b0f","features":{},"yanked":false,"pubtime":"2026-01-15T10:31:13Z"}