{"name":"provekit-hla","vers":"0.1.0","deps":[{"name":"paste","req":"^1.0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"quickcheck_macros","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"ed104fa5c5fee00468fe2bf058308fb059c8272b73e83dbcf35f34a12f943c08","features":{},"yanked":false,"rust_version":"1.85","pubtime":"2026-04-09T21:26:25Z"}