From 54ab1b11133066c67134f925d9ef536eb2d6b6a6 Mon Sep 17 00:00:00 2001
From: Anthony Hu <anthony@wolfssl.com>
Date: Thu, 3 Aug 2023 10:23:12 -0400
Subject: [PATCH] Document that we integrate with liboqs 0.8.0

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 93467ea58..cacd14117 100644
--- a/INSTALL
+++ b/INSTALL
@@ -150,7 +150,7 @@
     $ cd ~/oqs
     $ git clone --single-branch https://github.com/open-quantum-safe/liboqs.git
     $ cd liboqs/
-    $ git checkout af76ca3b1f2fbc1f4f0967595f3bb07692fb3d82
+    $ git checkout 0.8.0
     $ mkdir build
     $ cd build
     $ cmake -DOQS_USE_OPENSSL=0 ..