doc: Mention Debian packages

GaloisInc · Oct 26, 2022 · d60de6b · d60de6b
1 parent 47bea4c
commit d60de6b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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