vipo/idris2

•Updated 8 months ago

Image

564

Tags for vipo/idris2

Sort by

TAG

0.8.0-1

Last pushed 8 months by vipo

docker pull vipo/idris2:0.8.0-1

Digest	OS/ARCH	Compressed size
82e9f5d361e3	linux/amd64	428.33 MB
65440c8d0053	linux/arm64	420.73 MB

TAG

0.7.0-2

Last pushed over 1 year by vipo

docker pull vipo/idris2:0.7.0-2

Digest	OS/ARCH	Compressed size
9f0f87593611	linux/amd64	399.14 MB
d7d0e4faf73d	linux/arm64	392.07 MB

TAG

0.7.0-1

Last pushed over 2 years by vipo

docker pull vipo/idris2:0.7.0-1

Digest	OS/ARCH	Compressed size
c176b6d19ef5	linux/amd64	367.11 MB
0a1355ded625	linux/arm64	388.56 MB