crux-mir
/
sha256:5e04f3725a70fe2d76c0093cafe88fc554803adb3c003b7cadea412154361d41
0.7
sha256:5e04f3725a70fe2d76c0093cafe88fc554803adb3c003b7cadea412154361d41
Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/crux-mir:0.7
Use as base image in Dockerfile:
FROM ghcr.io/galoisinc/crux-mir:0.7
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:5e04f3725a70fe2d76c0093cafe88fc554803adb3c003b7cadea412154361d41",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 2005,
"config": {
"digest": "sha256:4027f0a342d67ceb44adcfcc1deb71c7a6944253b117eddd779098588de3d730",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 3243
},
"layers": [
{
"digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 32
},
{
"digest": "sha256:8527c5f86ecc162d68a9d38c8f4c6a6443158c67417e8bc2c3cea9f3868394eb",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 30421209
},
{
"digest": "sha256:b617bdfe89b0e355ae6263b726dc4d7ce330fbe02632b19f84eae6f0dc75ab73",
"mediaType": "application/x-gzip",
"size": 154
},
{
"digest": "sha256:34668b3b3234ca8b2bd452f6cd0dbe70e0a305f063601daa17b45fcb3a2b6030",
"mediaType": "application/x-gzip",
"size": 32145429
},
{
"digest": "sha256:ae8dda6beff8ee19e383a73b21e16ca0d1d8c38512c638107eb3b99000349e27",
"mediaType": "application/x-gzip",
"size": 33841911
},
{
"digest": "sha256:3a9a354d1c19cf99f20822e7e8792b345a5b96eea6043c300d2a3bf68aa60dbf",
"mediaType": "application/x-gzip",
"size": 153252687
},
{
"digest": "sha256:f39158e12c83e6631f1b9ac52e47bc73a7274a52c2e7bc2e8602d211a84f1e9b",
"mediaType": "application/x-gzip",
"size": 372434739
},
{
"digest": "sha256:6dbc13ff01226bec21a419ef007a3285fe4be602dc6cb48c13a5f2600910e9c1",
"mediaType": "application/x-gzip",
"size": 496961094
},
{
"digest": "sha256:4027f0a342d67ceb44adcfcc1deb71c7a6944253b117eddd779098588de3d730",
"mediaType": "text/plain; charset=utf-8",
"size": 3243
}
]
}
Details
- crux-mir
- GaloisInc
- GaloisInc/crucible
- about 1 year ago
Download activity
- Total downloads 151
- Last 30 days 1
- Last week 1
- Today 0