qualified/agda

•Updated over 4 years ago

Image

1.7K

Tags for qualified/agda

Sort by

TAG

2.6.2.2

Last pushed over 4 years by qualifieddockerpush

docker pull qualified/agda:2.6.2.2

Digest	OS/ARCH	Compressed size
4ac1ae9f9581	linux/amd64	186.49 MB

TAG

2.6.0_20190524

Last pushed over 7 years by qualified

docker pull qualified/agda:2.6.0_20190524

Digest	OS/ARCH	Compressed size
db3f15574029	linux/amd64	70.21 MB

TAG

2.6.0

Last pushed over 7 years by qualified

docker pull qualified/agda:2.6.0

Digest	OS/ARCH	Compressed size
db3f15574029	linux/amd64	70.21 MB

TAG

legacy-2.6

Last pushed over 7 years by qualified

docker pull qualified/agda:legacy-2.6

Digest	OS/ARCH	Compressed size
0d628150626e	linux/amd64	73.43 MB