dvmcarpena/agda

•Updated over 4 years ago

Image

180

Tags for dvmcarpena/agda

Sort by

TAG

2.6.1.3-haskell-8.8.3

Last pushed over 4 years by dvmcarpena

docker pull dvmcarpena/agda:2.6.1.3-haskell-8.8.3

Digest	OS/ARCH	Compressed size
9f2a822fd248	linux/amd64	652.04 MB

TAG

dev-haskell-8.8.3

Last pushed over 4 years by dvmcarpena

docker pull dvmcarpena/agda:dev-haskell-8.8.3

Digest	OS/ARCH	Compressed size
1249572cee5c	linux/amd64	1.14 GB

TAG

2.6.1.1

Last pushed about 6 years by dvmcarpena

docker pull dvmcarpena/agda:2.6.1.1

Digest	OS/ARCH	Compressed size
966bddf20ca9	linux/amd64	641.02 MB