From 022e006388ab6e6abb211ee58aae0b97493f7a9f Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Wed, 9 Dec 2020 22:07:50 +0100
Subject: [PATCH] fixup hb

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 2da7344dc..1f6bda078 100644
--- 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 ]);