roll back to hb 1.2.0 for the CI

math-comp · Dec 14, 2022 · 1e0a893 · 1e0a893
1 parent 1923789
commit 1e0a893
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -5,7 +5,7 @@
 - [The Coq Proof Assistant version ≥ 8.13](https://coq.inria.fr)
 - [Mathematical Components version ≥ 1.13.0](https://github.com/math-comp/math-comp)
 - [Finmap library version ≥ 1.5.1](https://github.com/math-comp/finmap)
-- [Hierarchy builder version >= 1.3.0](https://github.com/math-comp/hierarchy-builder)
+- [Hierarchy builder version >= 1.2.0](https://github.com/math-comp/hierarchy-builder)
 
 These requirements can be installed in a custom way, or through
 [opam](https://opam.ocaml.org/) (the recommended way) using
@@ -91,7 +91,7 @@ $ opam install coq-mathcomp-finmap.1.5.1
 ```
 4. Install the Hierarchy Builder
 ```
-$ opam install coq-hierarchy-builder.1.3.0
+$ opam install coq-hierarchy-builder.1.2.0
 ```
 5. Download and compile `coq-mathcomp-analysis` without installing
 ```

diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
@@ -23,7 +23,7 @@ depends: [
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"
   "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") }
-  "coq-hierarchy-builder" { (>= "1.3.0") }
+  "coq-hierarchy-builder" { (>= "1.2.0") }
 ]
 
 tags: [