{"package":"alectryon","ecosystem":"pypi","exists":true,"latest_version":"2.0.0","repository":"https://github.com/cpitclaudel/alectryon","license":"MIT","description":"A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.","downloads_weekly":76,"deprecated":false,"health":{"score":46},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}