movesrwth/storm-dependencies

By movesrwth

•Updated 24 days ago

Base image with (optional) dependencies for Storm model checker.

Image

10K+

Overview Tags

Tags for movesrwth/storm-dependencies

Sort by

TAG

20260908

Last pushed 24 days by i2docker

docker pull movesrwth/storm-dependencies:20260908

Digest	OS/ARCH	Compressed size
ab2f37320aac	linux/amd64	563.24 MB
5066e523ef32	linux/arm64	693.81 MB

TAG

latest

Last pushed 24 days by i2docker

docker pull movesrwth/storm-dependencies:latest

Digest	OS/ARCH	Compressed size
ab2f37320aac	linux/amd64	563.24 MB
5066e523ef32	linux/arm64	693.81 MB

TAG

20260903

Last pushed 29 days by i2docker

docker pull movesrwth/storm-dependencies:20260903

Digest	OS/ARCH	Compressed size
525a4f86f9c1	linux/amd64	562.33 MB
08b1dba979f1	linux/arm64	692.92 MB

TAG

20260828

Last pushed about 1 month by i2docker

docker pull movesrwth/storm-dependencies:20260828

Digest	OS/ARCH	Compressed size
2d1c5a8f505e	linux/amd64	563.27 MB
223d622dbfcb	linux/arm64	692.72 MB

TAG

20260813

Last pushed about 2 months by i2docker

docker pull movesrwth/storm-dependencies:20260813

Digest	OS/ARCH	Compressed size
70594bd52579	linux/amd64	564.64 MB
5d563d639fc9	linux/arm64	695.15 MB

TAG

20260812

Last pushed about 2 months by i2docker

docker pull movesrwth/storm-dependencies:20260812

Digest	OS/ARCH	Compressed size
efe9b6e81887	linux/amd64	566.81 MB
efc266412012	linux/arm64	697.2 MB

TAG

20260703

Last pushed 3 months by i2docker

docker pull movesrwth/storm-dependencies:20260703

Digest	OS/ARCH	Compressed size
21573b4515f4	linux/amd64	554.99 MB
9c00f25de585	linux/arm64	685.35 MB

TAG

20260603

Last pushed 4 months by i2docker

docker pull movesrwth/storm-dependencies:20260603

Digest	OS/ARCH	Compressed size
32f1a7950a8b	linux/amd64	554.34 MB
fb7ab0e3e2d4	linux/arm64	684.68 MB

TAG

20260504

Last pushed 5 months by i2docker

docker pull movesrwth/storm-dependencies:20260504

Digest	OS/ARCH	Compressed size
1dacc15f744e	linux/amd64	549.95 MB
514b6aa181ba	linux/arm64	681.34 MB

TAG

20260503

Last pushed 5 months by i2docker

docker pull movesrwth/storm-dependencies:20260503

Digest	OS/ARCH	Compressed size
6a5cad5bb7cb	linux/amd64	545.25 MB
02c7cd5549b3	linux/arm64	677.21 MB

TAG

20260424

Last pushed 5 months by i2docker

docker pull movesrwth/storm-dependencies:20260424

Digest	OS/ARCH	Compressed size
72238b32c62c	linux/amd64	545.16 MB
ffb870e2a713	linux/arm64	677.08 MB

TAG

20260403

Last pushed 6 months by i2docker

docker pull movesrwth/storm-dependencies:20260403

Digest	OS/ARCH	Compressed size
8fa5ef7db082	linux/amd64	549.36 MB
1895c6d8cea0	linux/arm64	677.32 MB

TAG

20260325

Last pushed 6 months by i2docker

docker pull movesrwth/storm-dependencies:20260325

Digest	OS/ARCH	Compressed size
9aa38d28446e	linux/amd64	549.25 MB
cb327b533eb7	linux/arm64	677.18 MB

TAG

20260311

Last pushed 7 months by i2docker

docker pull movesrwth/storm-dependencies:20260311

Digest	OS/ARCH	Compressed size
d978ca0843df	linux/amd64	549.34 MB
69a81f18bd76	linux/arm64	677.29 MB

TAG

20260304

Last pushed 7 months by i2docker

docker pull movesrwth/storm-dependencies:20260304

Digest	OS/ARCH	Compressed size
c7eef0374551	linux/amd64	549.33 MB
69a9415269f1	linux/arm64	677.28 MB

TAG

20260303

Last pushed 7 months by i2docker

docker pull movesrwth/storm-dependencies:20260303

Digest	OS/ARCH	Compressed size
69bd9b3a0aba	linux/amd64	549.32 MB
5576dd1239f0	linux/arm64	677.27 MB

TAG

20260225

Last pushed 7 months by i2docker

docker pull movesrwth/storm-dependencies:20260225

Digest	OS/ARCH	Compressed size
13e4e0c53634	linux/amd64	549.33 MB
75f191d739aa	linux/arm64	677.27 MB

TAG

20260203

Last pushed 8 months by i2docker

docker pull movesrwth/storm-dependencies:20260203

Digest	OS/ARCH	Compressed size
c0b01bda3220	linux/amd64	547.23 MB
dffb567e79f9	linux/arm64	675.03 MB

TAG

20260105

Last pushed 9 months by i2docker

docker pull movesrwth/storm-dependencies:20260105

Digest	OS/ARCH	Compressed size
2de4720e9f5c	linux/amd64	541.66 MB
8238b99c77b1	linux/arm64	669.54 MB

TAG

latest-debug

Last pushed about 1 year by i2docker

docker pull movesrwth/storm-dependencies:latest-debug

Digest	OS/ARCH	Compressed size
f1333b34937c	linux/amd64	830.11 MB
94280dae6614	linux/arm64	902.66 MB