neosimsim/agda

•Updated about 6 years ago

Image

454

Tags for neosimsim/agda

Sort by

TAG

latest

Last pushed about 6 years by neosimsim

docker pull neosimsim/agda:latest

Digest	OS/ARCH	Compressed size
82b65a9cf57f	linux/amd64	1.14 GB

TAG

2.6.1

Last pushed about 6 years by neosimsim

docker pull neosimsim/agda:2.6.1

Digest	OS/ARCH	Compressed size
82b65a9cf57f	linux/amd64	1.14 GB

TAG

2.6.0.1

Last pushed over 6 years by neosimsim

docker pull neosimsim/agda:2.6.0.1

Digest	OS/ARCH	Compressed size
5eb0ae929660	linux/amd64	632.97 MB