snazzybucket/idris2api

By snazzybucket

•Updated almost 3 years ago

Nightly docker builds of master of idris2 with idris2api installed

Image

50K+

Overview Tags

Tags for snazzybucket/idris2api

Sort by

TAG

v0.7.0-3-gac266b73f

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.7.0-3-gac266b73f

Digest	OS/ARCH	Compressed size
681a1e1d03c3	linux/amd64	71.95 MB

TAG

latest

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:latest

Digest	OS/ARCH	Compressed size
681a1e1d03c3	linux/amd64	71.95 MB

TAG

v0.7.0-2-g0e831ed5e

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.7.0-2-g0e831ed5e

Digest	OS/ARCH	Compressed size
70730c926bf0	linux/amd64	71.95 MB

TAG

v0.7.0-1-g82bb12cf7

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.7.0-1-g82bb12cf7

Digest	OS/ARCH	Compressed size
f39306cd38f8	linux/amd64	71.95 MB

TAG

v0.7.0

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.7.0

Digest	OS/ARCH	Compressed size
dde8977c8ed2	linux/amd64	72 MB

TAG

v0.6.0-430-g4edd690d0

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-430-g4edd690d0

Digest	OS/ARCH	Compressed size
ec9a3a9b2493	linux/amd64	74.11 MB

TAG

v0.6.0-426-g58e5d1566

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-426-g58e5d1566

Digest	OS/ARCH	Compressed size
c1e60e55105b	linux/amd64	74.13 MB

TAG

v0.6.0-414-g4cb45daba

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-414-g4cb45daba

Digest	OS/ARCH	Compressed size
034857446289	linux/amd64	74.11 MB

TAG

v0.6.0-413-geddcbcdc7

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-413-geddcbcdc7

Digest	OS/ARCH	Compressed size
59128723513d	linux/amd64	74.11 MB

TAG

v0.6.0-407-g319fa6557

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-407-g319fa6557

Digest	OS/ARCH	Compressed size
433f0a6434db	linux/amd64	74.1 MB

TAG

v0.6.0-401-gb08efbea4

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-401-gb08efbea4

Digest	OS/ARCH	Compressed size
60ced9acdc74	linux/amd64	74.07 MB

TAG

v0.6.0-397-g6eb66612b

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-397-g6eb66612b

Digest	OS/ARCH	Compressed size
2b3e72582c9c	linux/amd64	73.89 MB

TAG

v0.6.0-392-gb65064a91

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-392-gb65064a91

Digest	OS/ARCH	Compressed size
d2211c98a1d4	linux/amd64	73.89 MB

TAG

v0.6.0-388-gd6aa70dbe

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-388-gd6aa70dbe

Digest	OS/ARCH	Compressed size
a9d7878d7ed2	linux/amd64	73.91 MB

TAG

v0.6.0-364-gaf10fbaf9

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-364-gaf10fbaf9

Digest	OS/ARCH	Compressed size
df2d630bbc44	linux/amd64	73.91 MB

TAG

v0.6.0-363-g1aff26e94

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-363-g1aff26e94

Digest	OS/ARCH	Compressed size
6e253f0c149e	linux/amd64	73.91 MB

TAG

v0.6.0-357-ga26766e57

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-357-ga26766e57

Digest	OS/ARCH	Compressed size
67afcc2254a8	linux/amd64	73.91 MB

TAG

v0.6.0-334-gdb87cef0a

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-334-gdb87cef0a

Digest	OS/ARCH	Compressed size
4a728c381ab7	linux/amd64	73.8 MB

TAG

v0.6.0-333-g7b0a1b401

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-333-g7b0a1b401

Digest	OS/ARCH	Compressed size
4c962de1c4d4	linux/amd64	73.8 MB

TAG

v0.6.0-331-gbee59d5fd

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-331-gbee59d5fd

Digest	OS/ARCH	Compressed size
0e16121270a1	linux/amd64	73.79 MB

TAG

v0.6.0-327-g5f29b0b9c

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-327-g5f29b0b9c

Digest	OS/ARCH	Compressed size
bf055c4cdf92	linux/amd64	73.7 MB

TAG

v0.6.0-324-gea093ffae

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-324-gea093ffae

Digest	OS/ARCH	Compressed size
56144984c41d	linux/amd64	73.63 MB

TAG

v0.6.0-322-g46be3b808

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-322-g46be3b808

Digest	OS/ARCH	Compressed size
6a4fe1975e9c	linux/amd64	73.49 MB

TAG

v0.6.0-319-gf694e5e2f

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-319-gf694e5e2f

Digest	OS/ARCH	Compressed size
6b52743b6977	linux/amd64	73.5 MB

TAG

v0.6.0-318-g6c3515708

Last pushed almost 3 years by snazzybucket

docker pull snazzybucket/idris2api:v0.6.0-318-g6c3515708

Digest	OS/ARCH	Compressed size
707fd6a6d49c	linux/amd64	73.5 MB