galoisinc/cryptol

•Updated over 5 years ago

Cryptol Repository (deprecated: see GitHub for the latest images)

Image

3.1K

Tags for galoisinc/cryptol

Sort by

TAG

nightly

Last pushed over 5 years by galoisactions

docker pull galoisinc/cryptol:nightly

Digest	OS/ARCH	Compressed size
db0d0cdb00e6	linux/amd64	94.48 MB

TAG

2.10.0

Last pushed almost 6 years by atomb

docker pull galoisinc/cryptol:2.10.0

Digest	OS/ARCH	Compressed size
c2657401d06a	linux/amd64	93.77 MB

TAG

latest

Last pushed almost 6 years by galoisactions

docker pull galoisinc/cryptol:latest

Digest	OS/ARCH	Compressed size
47e025403e1b	linux/amd64	93.58 MB

TAG

2.9.1.99

Last pushed almost 6 years by galoisactions

docker pull galoisinc/cryptol:2.9.1.99

Digest	OS/ARCH	Compressed size
b6b2f492237e	linux/amd64	93.51 MB

TAG

2.9.0

Last pushed about 6 years by atomb

docker pull galoisinc/cryptol:2.9.0

Digest	OS/ARCH	Compressed size
77daa6112ea6	linux/amd64	92.99 MB

TAG

2.9.1

Last pushed about 6 years by galoisactions

docker pull galoisinc/cryptol:2.9.1

Digest	OS/ARCH	Compressed size
f2b8985b9c9c	linux/amd64	92.43 MB

TAG

2.8.0

Last pushed about 7 years by atomb

docker pull galoisinc/cryptol:2.8.0

Digest	OS/ARCH	Compressed size
dfecfe99ce85	linux/amd64	52.68 MB

TAG

2.7.0

Last pushed over 7 years by atomb

docker pull galoisinc/cryptol:2.7.0

Digest	OS/ARCH	Compressed size
d81d89e1e383	linux/amd64	52.44 MB