Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

apluslms/grading-z3

Grading environment with specific Z3 version in path and python path.

Latest release: over 1 year ago - 1,178 downloads - 166 dependencies

More details on packages.ecosyste.ms - JSON

Versions

bookworm-4.12.1-4.6

Debian GNU/Linux 11 (bullseye)

Published: over 1 year ago Last synced: 10 months ago