Sign inSign up

toolkithub/idris

By toolkithub

•Updated 10 months ago

Image
0

258

Tags for toolkithub/idris

Sort by

TAG

latest

Last pushed 10 months by toolkithub

docker pull toolkithub/idris:latest
DigestOS/ARCHCompressed size

e723e8f7ff7f

linux/amd64

42.39 MB

TAG

edge

Last pushed almost 2 years by toolkithub

docker pull toolkithub/idris:edge
DigestOS/ARCHCompressed size

1ac9de00585f

linux/amd64

61.5 MB