diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/default.nix b/default.nix index d537768..225f552 100644 --- a/default.nix +++ b/default.nix | |||
@@ -13,4 +13,6 @@ rec { | |||
13 | commit-mono = pkgs.callPackage ./pkgs/commit-mono/package.nix {}; | 13 | commit-mono = pkgs.callPackage ./pkgs/commit-mono/package.nix {}; |
14 | 14 | ||
15 | idafree = pkgs.callPackage ./pkgs/idafree/package.nix {}; | 15 | idafree = pkgs.callPackage ./pkgs/idafree/package.nix {}; |
16 | |||
17 | mht2htmcl = pkgs.callPackage ./pkgs/mht2htmcl/package.nix {}; | ||
16 | } | 18 | } |