cryptol-remote-api
/
sha256:c0236145148d213e5d1074e612f02b1e8087303c1492e8655a7ed590dae49097
2.13.0
sha256:c0236145148d213e5d1074e612f02b1e8087303c1492e8655a7ed590dae49097
Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/cryptol-remote-api:2.13.0
Use as base image in Dockerfile:
FROM ghcr.io/galoisinc/cryptol-remote-api:2.13.0
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:c0236145148d213e5d1074e612f02b1e8087303c1492e8655a7ed590dae49097",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 1783,
"config": {
"digest": "sha256:56ff7488b376e557ab369b07e9b3c97afb96fb81b099b9e1b4cf66c4cdd8dfc7",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 3303
},
"layers": [
{
"digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 32
},
{
"digest": "sha256:69692152171afee1fd341febc390747cfca2ff302f2881d8b394e786af605696",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 27145915
},
{
"digest": "sha256:5c21496007ed96c799152a245fcfa47a3c706a8753fde6a8c2d6511d0e0d9450",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 2273
},
{
"digest": "sha256:df724c4a7c3a19f61f9db6650b3b8e9a0ace7483cac15e0a8451c1cd2626d263",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 4195
},
{
"digest": "sha256:ffcae3387b7653d3fe5259af767e305ee73c7ee7aa94d6bcf6c78570f4f9f60a",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 1110
},
{
"digest": "sha256:601ffcfdcb515675baa64d6b02e75dd831d038f8e857359a041181611f0a2ad2",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 14799720
},
{
"digest": "sha256:c897767a5b9cc77ed042a3c5bb269acadfea69c5a2ca973e94dd5e5e88725c0d",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 72059931
},
{
"digest": "sha256:56ff7488b376e557ab369b07e9b3c97afb96fb81b099b9e1b4cf66c4cdd8dfc7",
"mediaType": "text/plain; charset=utf-8",
"size": 3303
}
]
}
Details
- cryptol-remote-api
- GaloisInc
- GaloisInc/cryptol
- over 2 years ago
Download activity
- Total downloads 400
- Last 30 days 1
- Last week 1
- Today 0