fixup hb

math-comp · Dec 9, 2020 · 022e006 · 022e006
1 parent dfddc69
commit 022e006
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.nix b/default.nix
@@ -49,7 +49,7 @@ let
                       if elem version [ "master" "cauchy_etoile" "holomorphy" ]
                       then {
                         propagatedBuildInputs = mca.propagatedBuildInputs ++
-                                                [ coqPackages.mathcomp-real-closed coqPackages.hiearchy-builder ];
+                                                [ coqPackages.mathcomp-real-closed coqPackages.hierarchy-builder ];
                       } else {
                         propagatedBuildInputs = mca.propagatedBuildInputs ++
                                                 (with coqPackages; [ coq-elpi hierarchy-builder ]);