baredevcontainer/lean

By baredevcontainer

•Updated about 24 hours ago

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

Image

8.3K

Overview Tags

Tags for baredevcontainer/lean

Sort by

TAG

4.2.4-trixie-20261106

Last pushed about 24 hours 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 about 24 hours 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

bookworm

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:bookworm

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

TAG

4-bookworm

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:4-bookworm

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

TAG

4.2.4-bookworm

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-bookworm

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

TAG

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:4

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

TAG

4.2.4

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4

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

TAG

trixie

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:trixie

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

TAG

4-trixie

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:4-trixie

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

TAG

4.2.4-trixie

Last pushed about 24 hours by baredevcontainer

docker pull baredevcontainer/lean:4.2.4-trixie

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

TAG

4.2.4-bookworm-20261105

Last pushed 2 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 2 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 4 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 4 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 5 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 5 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 7 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 7 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 9 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 9 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 11 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 11 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 11 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 11 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 14 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