scottfleischman/agda

•Updated almost 8 years ago

Docker image for Agda

Image

695

Tags for scottfleischman/agda

Sort by

TAG

2.5.4.2

Last pushed almost 8 years by scottfleischman

docker pull scottfleischman/agda:2.5.4.2

Digest	OS/ARCH	Compressed size
230901a682d0	linux/amd64	323.75 MB

TAG

2.5.4.1

Last pushed about 8 years by scottfleischman

docker pull scottfleischman/agda:2.5.4.1

Digest	OS/ARCH	Compressed size
56a7ddf5f2b4	linux/amd64	335.62 MB

TAG

2.5.4

Last pushed over 8 years by scottfleischman

docker pull scottfleischman/agda:2.5.4

Digest	OS/ARCH	Compressed size
e05c4c0bafd1	linux/amd64	580.03 MB

TAG

2.5.3

Last pushed about 9 years by scottfleischman

docker pull scottfleischman/agda:2.5.3

Digest	OS/ARCH	Compressed size
32378de4aece	linux/amd64	617.21 MB

TAG

2.5.2

Last pushed over 9 years by scottfleischman

docker pull scottfleischman/agda:2.5.2

Digest	OS/ARCH	Compressed size
75719f8ca4ec	linux/amd64	402.38 MB

TAG

2.5.1.1

Last pushed about 10 years by scottfleischman

docker pull scottfleischman/agda:2.5.1.1

Digest	OS/ARCH	Compressed size
5ac04b95fe09	linux/amd64	405.85 MB