From 6993f8d9a07fef0008105cd816112c67ab037cbd Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 24 Nov 2023 00:16:30 +0100
Subject: [PATCH] Update README.md

---
 README.md | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 38b2bf8e6..b4571dd7f 100644
--- a/README.md
+++ b/README.md
@@ -89,16 +89,14 @@ tricks and FAQs. If you want to work on the implementation of HB, this
 
 <details><summary>(click to expand)</summary><p>
 
-HB works on Coq 8.11, 8.12, 8.13 and 8.14
-
-- You can install it via OPAM
+- You can install HB via OPAM
 
 ```shell
 opam repo add coq-released https://coq.inria.fr/opam/released
 opam install coq-hierarchy-builder
 ```
 
-- You can use it in nix with the attribute `coqPackages_8_13.hierarchy-builder` e.g.
+- You can use it in nix with the attribute `coqPackages_8_XX.hierarchy-builder` e.g.
   via `nix-shell -p coq_8_13 -p coqPackages_8_13.hierarchy-builder`
  
 </p></details>