philippvk/seal5-quickstart

•Updated over 1 year ago

Image

291

Tags for philippvk/seal5-quickstart

Sort by

TAG

latest-default-ubuntu-20.04-llvmorg-19.1.7

Last pushed over 1 year by philippvk

docker pull philippvk/seal5-quickstart:latest-default-ubuntu-20.04-llvmorg-19.1.7

Digest	OS/ARCH	Compressed size
e260bdb1cb98	linux/amd64	2.41 GB

TAG

20250217-default-ubuntu-20.04-llvmorg-19.1.7

Last pushed over 1 year by philippvk

docker pull philippvk/seal5-quickstart:20250217-default-ubuntu-20.04-llvmorg-19.1.7

Digest	OS/ARCH	Compressed size
e260bdb1cb98	linux/amd64	2.41 GB

TAG

latest-default-ubuntu-22.04-llvmorg-19.1.7

Last pushed over 1 year by philippvk

docker pull philippvk/seal5-quickstart:latest-default-ubuntu-22.04-llvmorg-19.1.7

Digest	OS/ARCH	Compressed size
ddff4d90d87e	linux/amd64	2.42 GB

TAG

20250217-default-ubuntu-22.04-llvmorg-19.1.7

Last pushed over 1 year by philippvk

docker pull philippvk/seal5-quickstart:20250217-default-ubuntu-22.04-llvmorg-19.1.7

Digest	OS/ARCH	Compressed size
ddff4d90d87e	linux/amd64	2.42 GB

TAG

latest-default-ubuntu-20.04-llvmorg-19.1.6

Last pushed over 1 year by philippvk

docker pull philippvk/seal5-quickstart:latest-default-ubuntu-20.04-llvmorg-19.1.6

Digest	OS/ARCH	Compressed size
e2faf6d0fb90	linux/amd64	2.41 GB

TAG

20250217-default-ubuntu-20.04-llvmorg-19.1.6

Last pushed over 1 year by philippvk

docker pull philippvk/seal5-quickstart:20250217-default-ubuntu-20.04-llvmorg-19.1.6

Digest	OS/ARCH	Compressed size
e2faf6d0fb90	linux/amd64	2.41 GB