Skip to content

Commit a0ea399

Browse files
committed
README: Link specifically to the saw-script docker image.
The README doesn't mention saw-remote-api at all, and while that should be fixed (#2200) it's a different problem. When that's fixed, we can link to the saw-remote-api image as well.
1 parent 77f732b commit a0ea399

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -31,8 +31,8 @@ page](https://github.com/GaloisInc/saw-script/releases).
3131

3232
## Docker Images
3333

34-
Alternatively, there are Docker images available from the [packages
35-
page](https://github.com/orgs/GaloisInc/packages?repo_name=saw-script).
34+
Alternatively, there is a Docker image available from the [packages
35+
page](https://github.com/orgs/GaloisInc/packages/container/package/saw).
3636

3737
## Getting Z3
3838

0 commit comments

Comments
 (0)