Sign inSign up

100hellos/idris2

By 100hellos

•Updated 4 months ago

"Hello World!" Written in idris2

Image
0

4.3K

Tags for 100hellos/idris2

Sort by

TAG

83a0687

Last pushed 4 months by 100hellos

docker pull 100hellos/idris2:83a0687
DigestOS/ARCHCompressed size

a043a08ccbf4

linux/amd64

53.2 MB

TAG

edge

Last pushed 4 months by 100hellos

docker pull 100hellos/idris2:edge
DigestOS/ARCHCompressed size

a043a08ccbf4

linux/amd64

53.2 MB

TAG

20260606

Last pushed 4 months by 100hellos

docker pull 100hellos/idris2:20260606
DigestOS/ARCHCompressed size

a043a08ccbf4

linux/amd64

53.2 MB

TAG

latest

Last pushed 4 months by 100hellos

docker pull 100hellos/idris2:latest
DigestOS/ARCHCompressed size

a043a08ccbf4

linux/amd64

53.2 MB

TAG

20260530

Last pushed 4 months by 100hellos

docker pull 100hellos/idris2:20260530
DigestOS/ARCHCompressed size

f25b2fed2b38

linux/amd64

53.2 MB

TAG

20260523

Last pushed 5 months by 100hellos

docker pull 100hellos/idris2:20260523
DigestOS/ARCHCompressed size

8427d6029014

linux/amd64

53.2 MB

TAG

20260516

Last pushed 5 months by 100hellos

docker pull 100hellos/idris2:20260516
DigestOS/ARCHCompressed size

840f6fbcc851

linux/amd64

53.2 MB

TAG

20260509

Last pushed 5 months by 100hellos

docker pull 100hellos/idris2:20260509
DigestOS/ARCHCompressed size

8dc139b83132

linux/amd64

53.2 MB

TAG

20260502

Last pushed 5 months by 100hellos

docker pull 100hellos/idris2:20260502
DigestOS/ARCHCompressed size

bb67d14c1fb9

linux/amd64

53.2 MB

TAG

20260425

Last pushed 6 months by 100hellos

docker pull 100hellos/idris2:20260425
DigestOS/ARCHCompressed size

aea174fcc904

linux/amd64

53.2 MB

TAG

20260418

Last pushed 6 months by 100hellos

docker pull 100hellos/idris2:20260418
DigestOS/ARCHCompressed size

5722b3a9839c

linux/amd64

53.2 MB

TAG

20260411

Last pushed 6 months by 100hellos

docker pull 100hellos/idris2:20260411
DigestOS/ARCHCompressed size

730004c4c5d5

linux/amd64

53.2 MB

TAG

c70fef9

Last pushed 6 months by 100hellos

docker pull 100hellos/idris2:c70fef9
DigestOS/ARCHCompressed size

2598193a1b16

linux/amd64

53.2 MB

TAG

20260404

Last pushed 6 months by 100hellos

docker pull 100hellos/idris2:20260404
DigestOS/ARCHCompressed size

2598193a1b16

linux/amd64

53.2 MB

TAG

20260328

Last pushed 6 months by 100hellos

docker pull 100hellos/idris2:20260328
DigestOS/ARCHCompressed size

7e614ced5611

linux/amd64

53.2 MB

TAG

dcf90cd

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:dcf90cd
DigestOS/ARCHCompressed size

47a59fdac15f

linux/amd64

53.18 MB

TAG

20260321

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:20260321
DigestOS/ARCHCompressed size

47a59fdac15f

linux/amd64

53.18 MB

TAG

20260314

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:20260314
DigestOS/ARCHCompressed size

fa7f33f24309

linux/amd64

53.18 MB

TAG

20260307

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:20260307
DigestOS/ARCHCompressed size

c7f7c1083c94

linux/amd64

53.18 MB

TAG

f7b700b

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:f7b700b
DigestOS/ARCHCompressed size

09fea23e6fe9

linux/amd64

53.18 MB

TAG

20260228

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:20260228
DigestOS/ARCHCompressed size

09fea23e6fe9

linux/amd64

53.18 MB

TAG

cb89cf0

Last pushed 7 months by 100hellos

docker pull 100hellos/idris2:cb89cf0
DigestOS/ARCHCompressed size

a1f4b2449b21

linux/amd64

53.18 MB

TAG

471255c

Last pushed 8 months by 100hellos

docker pull 100hellos/idris2:471255c
DigestOS/ARCHCompressed size

159df9d60980

linux/amd64

53.18 MB

TAG

20260221

Last pushed 8 months by 100hellos

docker pull 100hellos/idris2:20260221
DigestOS/ARCHCompressed size

159df9d60980

linux/amd64

53.18 MB

TAG

ba86ee6

Last pushed 8 months by 100hellos

docker pull 100hellos/idris2:ba86ee6
DigestOS/ARCHCompressed size

542420a513ec

linux/amd64

53.18 MB