trustworthysystems/prebuilt_cakeml

•Updated almost 5 years ago

Image

Languages & frameworks

1.3K

Tags for trustworthysystems/prebuilt_cakeml

Sort by

TAG

2021_12_09

Last pushed almost 5 years by lsf37

docker pull trustworthysystems/prebuilt_cakeml:2021_12_09

Digest	OS/ARCH	Compressed size
bb57ba6c62d0	linux/amd64	1.94 GB

TAG

latest

Last pushed almost 5 years by lsf37

docker pull trustworthysystems/prebuilt_cakeml:latest

Digest	OS/ARCH	Compressed size
bb57ba6c62d0	linux/amd64	1.94 GB

TAG

2020_07_01

Last pushed about 6 years by lmondy

docker pull trustworthysystems/prebuilt_cakeml:2020_07_01

Digest	OS/ARCH	Compressed size
d377999ce7bd	linux/amd64	1.48 GB

TAG

2019_08_27

Last pushed about 7 years by lmondy

docker pull trustworthysystems/prebuilt_cakeml:2019_08_27

Digest	OS/ARCH	Compressed size
482a52395707	linux/amd64	1.78 GB