viklund/devbox-agda

•Updated over 11 years ago

Image

376

Tags for viklund/devbox-agda

Sort by

TAG

latest

Last pushed over 11 years by viklund

docker pull viklund/devbox-agda:latest

Digest	OS/ARCH	Compressed size
b53d729237a4	amd64	571.05 MB