baredevcontainer/lean

By baredevcontainer

•Updated about 9 hours ago

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

Image

9.3K

Overview Tags

Tags for baredevcontainer/lean

Sort by

TAG

4.2.4-bookworm-20261109

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261109

Digest	OS/ARCH	Compressed size
e4f5dfe1ff3e	linux/amd64	227.54 MB
2b95ebae48ba	linux/arm64	221.93 MB

TAG

4.2.4-trixie-20261109

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261109

Digest	OS/ARCH	Compressed size
0555fb2da20f	linux/amd64	239.3 MB
168b77d9a2bf	linux/arm64	232.65 MB

TAG

bookworm

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:bookworm

Digest	OS/ARCH	Compressed size
e4f5dfe1ff3e	linux/amd64	227.54 MB
2b95ebae48ba	linux/arm64	221.93 MB

TAG

4-bookworm

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4-bookworm

Digest	OS/ARCH	Compressed size
e4f5dfe1ff3e	linux/amd64	227.54 MB
2b95ebae48ba	linux/arm64	221.93 MB

TAG

4.2.4-bookworm

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm

Digest	OS/ARCH	Compressed size
e4f5dfe1ff3e	linux/amd64	227.54 MB
2b95ebae48ba	linux/arm64	221.93 MB

TAG

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4

Digest	OS/ARCH	Compressed size
0555fb2da20f	linux/amd64	239.3 MB
168b77d9a2bf	linux/arm64	232.65 MB

TAG

4.2.4

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4

Digest	OS/ARCH	Compressed size
0555fb2da20f	linux/amd64	239.3 MB
168b77d9a2bf	linux/arm64	232.65 MB

TAG

trixie

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:trixie

Digest	OS/ARCH	Compressed size
0555fb2da20f	linux/amd64	239.3 MB
168b77d9a2bf	linux/arm64	232.65 MB

TAG

4-trixie

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4-trixie

Digest	OS/ARCH	Compressed size
0555fb2da20f	linux/amd64	239.3 MB
168b77d9a2bf	linux/arm64	232.65 MB

TAG

4.2.4-trixie

Last pushed about 9 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie

Digest	OS/ARCH	Compressed size
0555fb2da20f	linux/amd64	239.3 MB
168b77d9a2bf	linux/arm64	232.65 MB

TAG

4.2.4-trixie-20261108

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261108

Digest	OS/ARCH	Compressed size
249a3747e9e6	linux/amd64	239.3 MB
6d4bab8cb409	linux/arm64	232.65 MB

TAG

4.2.4-bookworm-20261108

Last pushed 1 day by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261108

Digest	OS/ARCH	Compressed size
28917e5285b0	linux/amd64	227.54 MB
fbfe57a1e8d2	linux/arm64	221.93 MB

TAG

4.2.4-trixie-20261106

Last pushed 3 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261106

Digest	OS/ARCH	Compressed size
a719a74d5934	linux/amd64	239.24 MB
e1b1a4968755	linux/arm64	232.58 MB

TAG

4.2.4-bookworm-20261106

Last pushed 3 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261106

Digest	OS/ARCH	Compressed size
2c714eee6d67	linux/amd64	227.54 MB
c6ad94e9a136	linux/arm64	221.93 MB

TAG

4.2.4-bookworm-20261105

Last pushed 5 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261105

Digest	OS/ARCH	Compressed size
f4fb5312b7dd	linux/amd64	231.11 MB
76e8aa991c69	linux/arm64	225.43 MB

TAG

4.2.4-trixie-20261105

Last pushed 5 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261105

Digest	OS/ARCH	Compressed size
b7cb96fc22bd	linux/amd64	243.04 MB
618087eae8b7	linux/arm64	236.22 MB

TAG

4.2.4-trixie-20261103

Last pushed 7 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261103

Digest	OS/ARCH	Compressed size
a15bcca5fc55	linux/amd64	239.57 MB
b245ad4be2f0	linux/arm64	232.91 MB

TAG

4.2.4-bookworm-20261103

Last pushed 7 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261103

Digest	OS/ARCH	Compressed size
0797d0dcef25	linux/amd64	228.04 MB
66e867ceae0b	linux/arm64	222.42 MB

TAG

4.2.4-trixie-20261102

Last pushed 8 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261102

Digest	OS/ARCH	Compressed size
0dedf0a5a0cd	linux/amd64	239.54 MB
98994a9bb8be	linux/arm64	232.88 MB

TAG

4.2.4-bookworm-20261102

Last pushed 8 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261102

Digest	OS/ARCH	Compressed size
62de0f153610	linux/amd64	228.04 MB
d2a5c5009c0e	linux/arm64	222.42 MB

TAG

4.2.4-bookworm-20261031

Last pushed 10 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm-20261031

Digest	OS/ARCH	Compressed size
40cbedcb9d70	linux/amd64	228.04 MB
a14d35e04a14	linux/arm64	222.42 MB

TAG

4.2.4-trixie-20261031

Last pushed 10 days by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie-20261031

Digest	OS/ARCH	Compressed size
bd477c02b434	linux/amd64	239.54 MB
18e0ea1f934b	linux/arm64	232.88 MB

TAG

4.2.4-trixie-20261029

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

4.2.4-trixie-20261027

Last pushed 13 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