diff options
| -rw-r--r-- | home/packages.nix | 8 |
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 |