baredevcontainer/lean

By baredevcontainer

•Updated about 18 hours ago

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

Image

6.2K

Overview Tags

Tags for baredevcontainer/lean

Sort by

TAG

4.2.4-trixie-20261029

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261029

Digest	OS/ARCH	Compressed size
d8472eb13900	linux/amd64	239.21 MB
d579d74b93e1	linux/arm64	232.55 MB

TAG

4.2.4-bookworm-20261029

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261029

Digest	OS/ARCH	Compressed size
0133c2dd4ba9	linux/amd64	227.54 MB
eb8f237bc42f	linux/arm64	221.92 MB

TAG

bookworm

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:bookworm

Digest	OS/ARCH	Compressed size
0133c2dd4ba9	linux/amd64	227.54 MB
eb8f237bc42f	linux/arm64	221.92 MB

TAG

4-bookworm

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4-bookworm

Digest	OS/ARCH	Compressed size
0133c2dd4ba9	linux/amd64	227.54 MB
eb8f237bc42f	linux/arm64	221.92 MB

TAG

4.2.4-bookworm

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm

Digest	OS/ARCH	Compressed size
0133c2dd4ba9	linux/amd64	227.54 MB
eb8f237bc42f	linux/arm64	221.92 MB

TAG

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4

Digest	OS/ARCH	Compressed size
d8472eb13900	linux/amd64	239.21 MB
d579d74b93e1	linux/arm64	232.55 MB

TAG

4.2.4

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4

Digest	OS/ARCH	Compressed size
d8472eb13900	linux/amd64	239.21 MB
d579d74b93e1	linux/arm64	232.55 MB

TAG

trixie

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:trixie

Digest	OS/ARCH	Compressed size
d8472eb13900	linux/amd64	239.21 MB
d579d74b93e1	linux/arm64	232.55 MB

TAG

4-trixie

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4-trixie

Digest	OS/ARCH	Compressed size
d8472eb13900	linux/amd64	239.21 MB
d579d74b93e1	linux/arm64	232.55 MB

TAG

4.2.4-trixie

Last pushed about 18 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie

Digest	OS/ARCH	Compressed size
d8472eb13900	linux/amd64	239.21 MB
d579d74b93e1	linux/arm64	232.55 MB

TAG

4.2.4-trixie-20261027

Last pushed 2 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261027

Digest	OS/ARCH	Compressed size
fa5fbf7cb5b6	linux/amd64	239.54 MB
e18288a48e84	linux/arm64	232.88 MB

TAG

4.2.4-bookworm-20261027

Last pushed 2 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261027

Digest	OS/ARCH	Compressed size
9ff028386f38	linux/amd64	228.05 MB
425fb1f8bc00	linux/arm64	222.43 MB

TAG

4.2.4-bookworm-20261026

Last pushed 2 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261026

Digest	OS/ARCH	Compressed size
24f49c8385c4	linux/amd64	228.05 MB
9a983ad532b7	linux/arm64	222.43 MB

TAG

4.2.4-trixie-20261026

Last pushed 2 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261026

Digest	OS/ARCH	Compressed size
ace35a3768f3	linux/amd64	239.54 MB
8120a864da20	linux/arm64	232.88 MB

TAG

4.2.4-trixie-20261024

Last pushed 6 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261024

Digest	OS/ARCH	Compressed size
6004d5fbc3a9	linux/amd64	239.54 MB
68e6f9f0fd99	linux/arm64	232.88 MB

TAG

4.2.4-bookworm-20261024

Last pushed 6 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261024

Digest	OS/ARCH	Compressed size
0b73128e6c05	linux/amd64	228.04 MB
633055b653e6	linux/arm64	222.43 MB

TAG

4.2.4-trixie-20261021

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

4.2.4-bookworm-20261019

Last pushed 11 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 11 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 12 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 12 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 15 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 15 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 18 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