{"name":"ferriprove-tactic","vers":"0.0.1","deps":[],"cksum":"af7dcde44e45ce19815624b24b996051458424afd7a373a94ad96acf9e800b01","features":{},"yanked":false,"pubtime":"2026-04-08T02:30:52Z"}