diff options
Diffstat (limited to 'pkgs/test/default.nix')
-rw-r--r-- | pkgs/test/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/test/default.nix b/pkgs/test/default.nix index 3a39d247c8f..e72afbb3998 100644 --- a/pkgs/test/default.nix +++ b/pkgs/test/default.nix @@ -77,6 +77,8 @@ with pkgs; dhall = callPackage ./dhall { }; + cue-validation = callPackage ./cue {}; + coq = callPackage ./coq {}; makeWrapper = callPackage ./make-wrapper { }; |