1 files changed, 8 insertions, 0 deletions
diff --git a/home/packages.nix b/home/packages.nix
index 10c65ec..ce4fc4e 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -43,6 +43,14 @@ in
     racket dhall lean4 dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
     ocamlPackages.merlin ocaml gauche
     (agda.withPackages (p: [ p.standard-library p.cubical ]))
+    (twelf.overrideAttrs (old:  {
+        src = fetchFromGitHub {
+            owner = "k4rtik";
+            repo = "twelf";
+            rev = "c1bec0d0b9fa506e36bb364b1765191b159e6c4c";
+            hash = "sha256-sh/yMlCvMMq6GBqAKO+V0Bcyp38zB7I/3H8a0fxqOos=";
+        };
+    }))
     # html, js & co
     jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
     libxml2 fq htmlq