apluslms/grading-z3

Tags for apluslms/grading-z3

Sort by

TAG

5.3.3.0-4.14

Last pushed 3 days by apluslms

docker pull apluslms/grading-z3:5.3.3.0-4.14

Digest	OS/ARCH	Compressed size
921552e1674a	linux/amd64	134.42 MB

TAG

latest

Last pushed 3 days by apluslms

docker pull apluslms/grading-z3:latest

Digest	OS/ARCH	Compressed size
cd2bdd890e35	linux/amd64	134.42 MB

TAG

4.15.3.0-4.10

Last pushed about 1 year by fissio

docker pull apluslms/grading-z3:4.15.3.0-4.10

Digest	OS/ARCH	Compressed size
56e2c4b1fc2d	linux/amd64	127.11 MB

TAG

4.13.3.0-4.10

Last pushed about 1 year by fissio

docker pull apluslms/grading-z3:4.13.3.0-4.10

Digest	OS/ARCH	Compressed size
56e2c4b1fc2d	linux/amd64	127.11 MB

TAG

bookworm-4.12.1-4.6

Last pushed over 3 years by apluslms

docker pull apluslms/grading-z3:bookworm-4.12.1-4.6

Digest	OS/ARCH	Compressed size
dd52e9d6d4f2	linux/amd64	210.77 MB

TAG

4.12.1-4.6

Last pushed over 3 years by apluslms

docker pull apluslms/grading-z3:4.12.1-4.6

Digest	OS/ARCH	Compressed size
9e90613be66d	linux/amd64	130.96 MB

TAG

4.11.2-4.5

Last pushed about 4 years by apluslms

docker pull apluslms/grading-z3:4.11.2-4.5

Digest	OS/ARCH	Compressed size
c57725a8efd7	linux/amd64	128.79 MB

TAG

4.8.12-3.4

Last pushed about 5 years by apluslms

docker pull apluslms/grading-z3:4.8.12-3.4

Digest	OS/ARCH	Compressed size
cfc7bc46305a	linux/amd64	105.03 MB

TAG

4.8.8-3.0

Last pushed about 6 years by apluslms

docker pull apluslms/grading-z3:4.8.8-3.0

Digest	OS/ARCH	Compressed size
eb9e12c65c9c	linux/amd64	148.41 MB

TAG

4.8.5-3.0

Last pushed about 7 years by apluslms

docker pull apluslms/grading-z3:4.8.5-3.0

Digest	OS/ARCH	Compressed size
5aca651b4bc0	linux/amd64	146.11 MB

TAG

4.6.0-2.0

Last pushed over 8 years by apluslms

docker pull apluslms/grading-z3:4.6.0-2.0

Digest	OS/ARCH	Compressed size
1a0b61b5d4e5	linux/amd64	127.43 MB