From d60de6bda8e8bb8d21d14889850f9633627b66da Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Wed, 26 Oct 2022 09:04:01 -0400
Subject: [PATCH] doc: Mention Debian packages

---
 doc/build.rst | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/build.rst b/doc/build.rst
index be951cb..249396d 100644
--- a/doc/build.rst
+++ b/doc/build.rst
@@ -1,6 +1,10 @@
 Building and Running
 ====================
 
+.. note::
+
+  Pre-built Debian packages are available from the `releases page`_.
+
 .. note::
 
   You can download a pre-built Docker image with all of the build dependencies
@@ -128,3 +132,4 @@ interface, install LLVM and run
 more options - though many of them are irrelevant.
 
 .. _Soufflé build documentation: https://souffle-lang.github.io/build
+.. _releases page: https://github.com/GaloisInc/cclyzerpp/releases