baredevcontainer/lean

By baredevcontainer

•Updated 1 day ago

Minimal Dev Container image for Lean 4 with elan: Debian, verified upstreams, SLSA provenance

Image

2.1K

Overview Tags

Tags for baredevcontainer/lean

Sort by

TAG

4.2.4-bookworm-20261012

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261012

Digest	OS/ARCH	Compressed size
3debbcd68b4e	linux/amd64	229.65 MB
500f901c92c7	linux/arm64	224.01 MB

TAG

4.2.4-trixie-20261012

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261012

Digest	OS/ARCH	Compressed size
86cf7977df27	linux/amd64	239.31 MB
514f131c8db7	linux/arm64	232.64 MB

TAG

bookworm

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:bookworm

Digest	OS/ARCH	Compressed size
3debbcd68b4e	linux/amd64	229.65 MB
500f901c92c7	linux/arm64	224.01 MB

TAG

4-bookworm

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4-bookworm

Digest	OS/ARCH	Compressed size
3debbcd68b4e	linux/amd64	229.65 MB
500f901c92c7	linux/arm64	224.01 MB

TAG

4.2.4-bookworm

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm

Digest	OS/ARCH	Compressed size
3debbcd68b4e	linux/amd64	229.65 MB
500f901c92c7	linux/arm64	224.01 MB

TAG

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4

Digest	OS/ARCH	Compressed size
86cf7977df27	linux/amd64	239.31 MB
514f131c8db7	linux/arm64	232.64 MB

TAG

4.2.4

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4

Digest	OS/ARCH	Compressed size
86cf7977df27	linux/amd64	239.31 MB
514f131c8db7	linux/arm64	232.64 MB

TAG

trixie

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:trixie

Digest	OS/ARCH	Compressed size
86cf7977df27	linux/amd64	239.31 MB
514f131c8db7	linux/arm64	232.64 MB

TAG

4-trixie

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4-trixie

Digest	OS/ARCH	Compressed size
86cf7977df27	linux/amd64	239.31 MB
514f131c8db7	linux/arm64	232.64 MB

TAG

4.2.4-trixie

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie

Digest	OS/ARCH	Compressed size
86cf7977df27	linux/amd64	239.31 MB
514f131c8db7	linux/arm64	232.64 MB

TAG

4.2.4-bookworm-20261010

Last pushed 3 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261010

Digest	OS/ARCH	Compressed size
b6416eb7c213	linux/amd64	229.65 MB
a6e20220e7ed	linux/arm64	224.01 MB

TAG

4.2.4-trixie-20261010

Last pushed 3 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261010

Digest	OS/ARCH	Compressed size
fef9b4ddb61d	linux/amd64	239.31 MB
06932b1fe8a4	linux/arm64	232.64 MB

TAG

4.2.4-trixie-20261007

Last pushed 6 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261007

Digest	OS/ARCH	Compressed size
583733829ef1	linux/amd64	239.17 MB
2da28d38f25f	linux/arm64	232.5 MB

TAG

4.2.4-bookworm-20261007

Last pushed 6 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261007

Digest	OS/ARCH	Compressed size
80e566cbb8ca	linux/amd64	229.65 MB
13c0033868fb	linux/arm64	224 MB

TAG

4.2.4-trixie-20261005

Last pushed 8 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261005

Digest	OS/ARCH	Compressed size
8d201917fe1d	linux/amd64	242.29 MB
799c90c4abf1	linux/arm64	235.93 MB

TAG

4.2.4-bookworm-20261005

Last pushed 8 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261005

Digest	OS/ARCH	Compressed size
c728407ff6ee	linux/amd64	228.2 MB
c509a503eaf5	linux/arm64	222.57 MB

TAG

4.2.4-bookworm-20261004

Last pushed 9 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261004

Digest	OS/ARCH	Compressed size
0ea18430c683	linux/amd64	228.2 MB
660cb2889426	linux/arm64	222.57 MB

TAG

4.2.4-trixie-20261004

Last pushed 9 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261004

Digest	OS/ARCH	Compressed size
fb3d5e9a3f20	linux/amd64	242.29 MB
1c8da6c89f20	linux/arm64	235.93 MB