mathiask/agda

•Updated 4 months ago

You can mount a local directory or volume on /src in the container.

Image

715

Tags for mathiask/agda

Sort by

TAG

latest

Last pushed 4 months by mathiask

docker pull mathiask/agda:latest

Digest	OS/ARCH	Compressed size
16c2a335b171	linux/amd64	696.77 MB
c686de000497	linux/arm64	721.54 MB

TAG

2.1

Last pushed 4 months by mathiask

docker pull mathiask/agda:2.1

Digest	OS/ARCH	Compressed size
16c2a335b171	linux/amd64	696.77 MB
c686de000497	linux/arm64	721.54 MB

TAG

2.1-arm64

Last pushed 4 months by mathiask

docker pull mathiask/agda:2.1-arm64

Digest	OS/ARCH	Compressed size
c686de000497	linux/arm64	721.54 MB

TAG

2.1-amd64

Last pushed 4 months by mathiask

docker pull mathiask/agda:2.1-amd64

Digest	OS/ARCH	Compressed size
16c2a335b171	linux/amd64	696.77 MB

TAG

1.1

Last pushed almost 6 years by mathiask

docker pull mathiask/agda:1.1

Digest	OS/ARCH	Compressed size
b846aa4e2a04	linux/amd64	1.18 GB