{"package":"tamarin-prover-theory","ecosystem":"hackage","latest_version":"0.8.6.0","description":"Term manipulation library for the tamarin prover.","license":"LicenseRef-GPL","license_risk":"unknown","commercial_use_notes":"verify manually — license not parseable / not declared.","homepage":"http://www.infsec.ethz.ch/research/software/tamarin","repository":"","downloads_weekly":0,"health":{"score":30,"risk":"critical","breakdown":{"maintenance":0,"popularity":0,"security":25,"maturity":3,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.8.6.0","total_count":5,"recent":["0.8.6.0","0.8.5.1","0.8.5.0","0.8.4.0","0.8.2.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2014-02-16T15:15:54.063221Z","dependencies_count":0,"dependencies":[]},"github_stats":null,"bundle":null,"typescript":null,"known_issues":{"bugs_count":0,"bugs_severity":{},"status_breakdown":{},"link":null,"scope":"none"},"historical_compromise":null,"recommendation":{"action":"use_with_caution","issues":["Low health score (30/100)"],"use_version":"0.8.6.0","version_hint":null,"summary":"tamarin-prover-theory@0.8.6.0 low health (30/100) — consider alternatives"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":803,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":5,"first_release_age_days":4963,"last_release_days_ago":4457,"avg_days_between_releases":1241,"release_velocity":"stale"}}