baredevcontainer/lean

By baredevcontainer

•Updated about 6 hours ago

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

Image

3.7K

Overview Tags

Tags for baredevcontainer/lean

Sort by

TAG

4.2.4-trixie-20261021

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261021

Digest	OS/ARCH	Compressed size
686e1524fa0d	linux/amd64	239.2 MB
fac575fc36e4	linux/arm64	232.54 MB

TAG

4.2.4-bookworm-20261021

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261021

Digest	OS/ARCH	Compressed size
9cf816f29348	linux/amd64	227.52 MB
597b8061e18d	linux/arm64	221.92 MB

TAG

bookworm

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:bookworm

Digest	OS/ARCH	Compressed size
9cf816f29348	linux/amd64	227.52 MB
597b8061e18d	linux/arm64	221.92 MB

TAG

4-bookworm

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4-bookworm

Digest	OS/ARCH	Compressed size
9cf816f29348	linux/amd64	227.52 MB
597b8061e18d	linux/arm64	221.92 MB

TAG

4.2.4-bookworm

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm

Digest	OS/ARCH	Compressed size
9cf816f29348	linux/amd64	227.52 MB
597b8061e18d	linux/arm64	221.92 MB

TAG

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4

Digest	OS/ARCH	Compressed size
686e1524fa0d	linux/amd64	239.2 MB
fac575fc36e4	linux/arm64	232.54 MB

TAG

4.2.4

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4

Digest	OS/ARCH	Compressed size
686e1524fa0d	linux/amd64	239.2 MB
fac575fc36e4	linux/arm64	232.54 MB

TAG

trixie

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:trixie

Digest	OS/ARCH	Compressed size
686e1524fa0d	linux/amd64	239.2 MB
fac575fc36e4	linux/arm64	232.54 MB

TAG

4-trixie

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4-trixie

Digest	OS/ARCH	Compressed size
686e1524fa0d	linux/amd64	239.2 MB
fac575fc36e4	linux/arm64	232.54 MB

TAG

4.2.4-trixie

Last pushed about 6 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie

Digest	OS/ARCH	Compressed size
686e1524fa0d	linux/amd64	239.2 MB
fac575fc36e4	linux/arm64	232.54 MB

TAG

4.2.4-bookworm-20261019

Last pushed 2 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261019

Digest	OS/ARCH	Compressed size
966968154e5b	linux/amd64	229.7 MB
73e931efa5c5	linux/arm64	224.07 MB

TAG

4.2.4-trixie-20261019

Last pushed 2 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261019

Digest	OS/ARCH	Compressed size
27243e31d16b	linux/amd64	239.34 MB
0a7280b366b1	linux/arm64	232.68 MB

TAG

4.2.4-trixie-20261018

Last pushed 3 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261018

Digest	OS/ARCH	Compressed size
dda566bd7531	linux/amd64	239.34 MB
8b57a742cb31	linux/arm64	232.68 MB

TAG

4.2.4-bookworm-20261018

Last pushed 3 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261018

Digest	OS/ARCH	Compressed size
76a3ea5e6ea6	linux/amd64	229.7 MB
a00209be44f2	linux/arm64	224.07 MB

TAG

4.2.4-bookworm-20261015

Last pushed 6 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261015

Digest	OS/ARCH	Compressed size
c4f6a50a2301	linux/amd64	229.65 MB
f18414d9b3b8	linux/arm64	224.01 MB

TAG

4.2.4-trixie-20261015

Last pushed 6 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261015

Digest	OS/ARCH	Compressed size
3b98d269956f	linux/amd64	239.31 MB
f640f447caa0	linux/arm64	232.64 MB

TAG

4.2.4-bookworm-20261012

Last pushed 9 days 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 9 days 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

4.2.4-bookworm-20261010

Last pushed 11 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 11 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 14 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 14 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 16 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 16 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 17 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