crux-mir
/
sha256:583b87a04dae5ed54ce6e7e533c8408d6afd7ac036aba3f60ba6c4db10748c6d
0.6
sha256:583b87a04dae5ed54ce6e7e533c8408d6afd7ac036aba3f60ba6c4db10748c6d
Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/crux-mir:0.6
Use as base image in Dockerfile:
FROM ghcr.io/galoisinc/crux-mir:0.6
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:583b87a04dae5ed54ce6e7e533c8408d6afd7ac036aba3f60ba6c4db10748c6d",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 2010,
"config": {
"digest": "sha256:6861326961cac295ada6c7c870bbdde35305b95b411977029d21ce70b9aa3e8c",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 4296
},
"layers": [
{
"digest": "sha256:c32ce6654453d35d0b3dde45d195adeee586ffba0a683006ee06748c077c01fa",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 27140722
},
{
"digest": "sha256:c971bff08bdf9481d4e5b4d48947978a1e02026e76159b9ce4197423781c821f",
"mediaType": "application/x-gzip",
"size": 157
},
{
"digest": "sha256:44c26fe3010a01e5bc68e74e3a1a08b25966e21b924f816229a880e57f5b446f",
"mediaType": "application/x-gzip",
"size": 4553376
},
{
"digest": "sha256:0a167db11600dcb8715d68b06d99a7a5507f5f34512262e941752b869642774d",
"mediaType": "application/x-gzip",
"size": 13609504
},
{
"digest": "sha256:271393d8eab709054e7a1b77488b06aa2be9b7e0657edc0ff4b479b7818e6e8a",
"mediaType": "application/x-gzip",
"size": 32157613
},
{
"digest": "sha256:1d0ae8051e40aa21896b5af634f836f668a7643a689228e08e759e56d4f3433b",
"mediaType": "application/x-gzip",
"size": 147442545
},
{
"digest": "sha256:199f8e93a5e8051a79f16c434a48109c684818faca375d8aa2d9dcde9ee044e1",
"mediaType": "application/x-gzip",
"size": 212738724
},
{
"digest": "sha256:cc7895aecb356d5771293b1ed0126b74d84ec953ac7b510c9d549122fc732c51",
"mediaType": "application/x-gzip",
"size": 496961549
},
{
"digest": "sha256:6861326961cac295ada6c7c870bbdde35305b95b411977029d21ce70b9aa3e8c",
"mediaType": "text/plain; charset=utf-8",
"size": 4296
}
]
}
Details
- crux-mir
- GaloisInc
- GaloisInc/crucible
- over 2 years ago
Download activity
- Total downloads 430
- Last 30 days 4
- Last week 1
- Today 0