qualified/agda

•Updated 7 days ago

Image

1.8K

Tags for qualified/agda

Sort by

TAG

2.6.2.2

Last pushed 7 days by qualifieddockerpush

docker pull qualified/agda:2.6.2.2

Digest	OS/ARCH	Compressed size
4671f60646fd	linux/amd64	241.67 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