{"name":"apluslms/grading-z3","last_synced_at":"2026-05-28T16:00:43.475Z","versions_count":3,"latest_release_published_at":"2025-10-02T11:07:34.381Z","latest_release_number":"4.15.3.0-4.10","created_at":"2023-03-24T21:14:25.362Z","updated_at":"2026-05-28T16:00:43.476Z","has_sbom":true,"dependencies_count":166,"description":" Grading environment with specific Z3 version in path and python path.","downloads":1886,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/apluslms%2Fgrading-z3","versions_url":"https://docker.ecosyste.ms/api/v1/packages/apluslms%2Fgrading-z3/versions"}