From 77f732b8de105ccf06d93364681323a9fb10c1c3 Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Wed, 5 Feb 2025 22:44:24 -0500
Subject: [PATCH] Mention the Docker images in README.md. Closes #2109.

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index d64bcef92..f1a3c20c6 100644
--- a/README.md
+++ b/README.md
@@ -29,6 +29,11 @@ Precompiled SAWScript binaries for a variety of platforms are available
 on the [releases
 page](https://github.com/GaloisInc/saw-script/releases).
 
+## Docker Images
+
+Alternatively, there are Docker images available from the [packages
+page](https://github.com/orgs/GaloisInc/packages?repo_name=saw-script).
+
 ## Getting Z3
 
 SAW can use many theorem provers, but because of its use of Cryptol it