summaryrefslogtreecommitdiff
path: root/home
diff options
context:
space:
mode:
Diffstat (limited to 'home')
-rw-r--r--home/packages.nix8
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