docs: clarify installs work on Ubuntu 20.04/22.04

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
seL4 · May 31, 2022 · e1fd422 · e1fd422
1 parent 1a5ec99
commit e1fd422
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/docs/setup.md b/docs/setup.md
@@ -34,8 +34,10 @@ website](https://docs.haskellstack.org/en/stable/README).
 
 ### Linux Packages - Ubuntu
 
-On **Ubuntu 18.04**, to run all proofs against the **ARMv7-A**
-architecture you will need to install the following packages:
+These instructions are intended for Ubuntu LTS versions 18.04, 20.04, and 22.04.
+
+To run all proofs against the **ARMv7-A** architecture you will need to install
+the following packages:
 
 ```bash
 sudo apt-get install \