Sign inSign up

mattpolzin2/idris-docker

By mattpolzin2

•Updated about 4 hours ago

Image
0

50K+

Tags for mattpolzin2/idris-docker

Sort by

TAG

nightly-katla

Last pushed about 4 hours by mattpolzin2

docker pull mattpolzin2/idris-docker:nightly-katla
DigestOS/ARCHCompressed size

ba15bb3dce8b

linux/amd64

1.39 GB

TAG

idv

Last pushed about 4 hours by mattpolzin2

docker pull mattpolzin2/idris-docker:idv
DigestOS/ARCHCompressed size

a806adafe9d4

linux/amd64

1.72 GB

TAG

nightly

Last pushed about 5 hours by mattpolzin2

docker pull mattpolzin2/idris-docker:nightly
DigestOS/ARCHCompressed size

1bea475f27d1

linux/amd64

1.38 GB

TAG

0.8.0

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.8.0
DigestOS/ARCHCompressed size

e325cb404a91

linux/amd64

1.23 GB

TAG

0.7.0

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.7.0
DigestOS/ARCHCompressed size

950cc024d614

linux/amd64

1.07 GB

TAG

0.6.0

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.6.0
DigestOS/ARCHCompressed size

acd1ece16c10

linux/amd64

924.13 MB

TAG

0.5.1

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.5.1
DigestOS/ARCHCompressed size

c63e1015cd31

linux/amd64

774.35 MB

TAG

0.4.0

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.4.0
DigestOS/ARCHCompressed size

aca11d11a54d

linux/amd64

673.66 MB

TAG

0.3.0

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.3.0
DigestOS/ARCHCompressed size

e0d5dd35e162

linux/amd64

599.5 MB

TAG

0.2.2

Last pushed 10 months by mattpolzin2

docker pull mattpolzin2/idris-docker:0.2.2
DigestOS/ARCHCompressed size

8a2dc05a3d04

linux/amd64

545.75 MB

TAG

latest

Last pushed 11 months by mattpolzin2

docker pull mattpolzin2/idris-docker:latest
DigestOS/ARCHCompressed size

60df11febc52

linux/amd64

1.13 GB