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