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: almost 2 years 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: almost 2 years ago Last synced: 10 months ago