Sign inSign up

glottologist/idris

By glottologist

•Updated almost 7 years ago

Image
0

231

Tags for glottologist/idris

Sort by

TAG

latest

Last pushed almost 7 years by glottologist

docker pull glottologist/idris:latest
DigestOS/ARCHCompressed size

52cfa3bf4004

linux/amd64

607.48 MB

TAG

19.12.3

Last pushed almost 7 years by glottologist

docker pull glottologist/idris:19.12.3
DigestOS/ARCHCompressed size

52cfa3bf4004

linux/amd64

607.48 MB